第三回関数型プログラミング（仮）の会

2022/09/30(金)18:30 〜 23:00 開催

ブックマーク

#Scala, #JavaScript, #Java

イベント内容

概要

最近、「関数型プログラミング」（Functional Programming）はかなり一般的になっています。

特に、いわゆる「関数型プログラミング言語」（HaskellやOCaml、Clojure、Scala、Elmなど）からは多くの機能が既に主流の言語に輸入されています。たとえば、

高階関数（ファーストクラス関数）
不変コレクション
不変データを簡単に作る機構

などは多くの言語に取り入れられています。

それぞれの言語コミュニティで徐々に「関数型プログラミング」が業務にも広がっているようにも感じます。

そんな「関数型プログラミング」ぽいものについて、言語コミュニティを超えて知見を共有したり、単にわいわいしゃべりあうという会を定期開催するのが良いのではと感じるに至りました。というのが「関数型プログラミング（仮）の会」の趣旨です。

第一回：フリーテーマ
第二回：現場での関数型プログラミング

として開催してきた本イベントですが、第三回のテーマは「関数型データ構造」です。

関数型データ構造とは、ざっくりとした言葉でいえば一度作ったらあとは変更できないデータ構造のことで、データの追加や削除は新しいデータ構造の生成という形で表現します。

関数型データ構造は変更可能な状態を持たないため、実装する側は性能を落とさないように色々工夫をしなければいけませんが、利用者がその不変性から得られるメリットも大きいです。

関数型データ構造は奥深いトピックで、専門書として『純粋関数型データ構造』（原題：Purely Functional Data Structures）がアスキードワンゴ様から出版されています。

今回はそんな関数型データ構造について皆様とわいわいお話しできればと思います。熟練者による実装の話でも、関数型データ構造に触れて感じた利点や課題の話、あるいは実務的な観点からのお話などなんでもありです。

言語も問いません。Clojureのvectorのお話でもScalaのimmutable.HashMapの実装でも良いですし、JavaScriptのImmutable.jsについてでも構いません。言語を問わない関数型データ構造の実装や使い方についてのお話も歓迎します。皆で楽しくお話ししましょう。　

参加資格

特にありませんが、いわゆる「関数型プログラミング言語」と呼ばれる言語（HaskellやOCaml、Clojure、Idris、Erlang、Elixir、Elmなどなど）を使っている方や、「関数型プログラミング」ぽいことを実践している方が望ましいです。

発表について

Zoomを使ってオンラインで発表していただきます。発表資料を画面共有しながら発表していただくという形になります。プレゼン資料については、必ずしも事前に提出の必要はありませんが、事前にあると聴講しにくる方にとって便利なので、できれば当日までに提出していただけると助かります（提出先については、このページのコメント欄にいただければと思います）。

なお、イベントの改善を目的として各発表を録画させていただきますがご了承ください。録画した内容は会社内部での閲覧にのみ供し、それ以外の目的では利用致しません。

タイムスケジュール（敬称略）

18:30: 開始
18:30-18:40: オープニング by @kmizu
18:50-20:40: 発表
- 18:50-19:10: 純粋関数型データ構造と依存型同時入門 by @blackenedgold
- 19:10-19:20: 休憩
- 19:20-19:40: JavaでZipper by @kmizu
- 19:40-19:50: 休憩
- 19:50-20:10: ElmでVisual Study!! by @ababupdownba
- 20:10-20:20: 休憩
- 20:20-20:40: Clojureコレクションで探るimmutableでpersistentな世界 by @lagenorhynque
- 20:40-20:50: 休憩
- 20:50-21:10: Union Findを永続にしたい by @fumieval
21:10-21:20: クロージング
21:20-23:00: 懇親会