TL;DR
- 関数型プログラミングのカンファレンス。関数型まつり 2025 に続いて 2 回目の参加（タイムテーブル）。
- 今年は 1 日目だけ、入門者向けのハンズオンと交流ラウンジがある。
発表
Day 1
- 関数型の考えをTypeScriptに持ち込んで、テストしやすい純粋関数を増やす—Functional Core, Imperative Shellの実践
- 型推論入門 ― Hindley-Milnerの仕組みと実装の違い
- OCamlで作ったアプリを実運用している
- Leanで学ぼう等式推論（証明もあるよ！）
- FP入門ハンズオン & 交流ラウンジ(3) featuring Standard ML
- FP入門ハンズオン & 交流ラウンジ(5) featuring OCaml
ハンズオンのソースコードは fp-matsuri/2026.fp-hands-on と fp-matsuri/fp-in-scala-exercises にある。
Day 2
- 結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜
- 2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として
- フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと
- なぜ多くの言語はHigher Kinded Typesをサポートしないのか
- 音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用
- 多段階計算によるコンパイル時テンソル形状検査
- LLMに書かせる前提で設計された言語の設計について議論して｡
- 世界がない物理エンジン
その他
感想
今回は個人スポンサー（応援団）として支援した。Standard ML や OCaml は本当に軽く触った程度なので、ハンズオンに参加してみようと思う。