概要

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

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

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

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

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

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

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

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

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

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

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

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

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

• 当日のTogetterまとめ: https://togetter.com/li/1953260 　

参加資格

特にありませんが、いわゆる「関数型プログラミング言語」と呼ばれる言語（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: 懇親会

場所

ご自宅などネット環境のあるところならどこでも（要マイク・スピーカー）

受付

特にありません。参加登録いただいた方は、当日夕方までに「参加者への情報」欄経由でZoom Webinar URLが見られるようになっています。よろしくお願いします。

参加費について

無料です。オンライン開催なので、飲食物の提供はありません。

飲食について

オンライン開催のため飲食物の提供はありませんが、各自でご自由に飲食いただけます。

キャンセルについて

当日あるいは事前に参加できなくなった場合は、必ずこのページから「キャンセル」を押して、キャンセルしてください。

アンケートについて

本イベントの参加者に対して、LTが終わったタイミングで当日アンケートを行います（回答は任意）。アンケートの結果には個人情報を含みませんが、今後のイベントのご案内等のために利用させていただく場合がございます。

＜共同利用企業＞

• 株式会社デジタルホールディングス
• 株式会社オプト