TL;DR
- 関数型プログラミングのカンファレンス。2 日間の開催で、3 つのトラックがある（タイムテーブル）。
- 前提知識として、関数型プログラミングの紹介記事を読んでおいた。
発表
Day 1
- ドメインモデリングにおける抽象の役割、tagless-finalによるDSL構築、そして型安全な最適化
- 関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ
- AIと共に進化する開発手法：形式手法と関数型プログラミングの可能性
- Effectの双対、Coeffect
- continuations: continued and to be continued
- What I have learned from 15 years of functional programming
Day 2
- Haskell でアルゴリズムを抽象化する 〜 関数型言語で競技プログラミング
- ラムダ計算と抽象機械と非同期ランタイム
- Leanで正規表現エンジンをつくる。そして正しさを証明する
- iOSアプリ開発で関数型プログラミングを実現するThe Composable Architectureの紹介
- デコーダーパターンによる3Dジオメトリの読み込み
- ClojureScript (Squint) で React フロントエンド開発 2025 年版
- AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜
感想
本当は全部見たかったが、アーカイブが公開されるので、後から全部視聴できそう。