関数型まつり 2025
https://fortee.jp/2025fp-matsuri
https://fortee.jp/2025fp-matsuri/timetable
前提知識
https://zenn.dev/blackenedgold/articles/e06dadc4c3921f
視聴予定のセッション
（本当は全部見たいけど…）
radish-miyazaki.icon
アーカイブされるので全部視聴できそう！
1 日目
ドメインモデリングにおける抽象の役割、tagless-finalによるDSL構築、そして型安全な最適化
: Track C
関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ
: Track C
AIと共に進化する開発手法：形式手法と関数型プログラミングの可能性
: Track C
Effectの双対、Coeffect
: Track A
continuations: continued and to be continued
: Track A
What I have learned from 15 years of functional programming
: Track A ~ C
2 日目
Haskell でアルゴリズムを抽象化する 〜 関数型言語で競技プログラミング
: Track A
ラムダ計算と抽象機械と非同期ランタイム
: Track A
Leanで正規表現エンジンをつくる。そして正しさを証明する
: Track B
iOSアプリ開発で関数型プログラミングを実現するThe Composable Architectureの紹介
: Track C
デコーダーパターンによる3Dジオメトリの読み込み
: Track C
ClojureScript (Squint) で React フロントエンド開発 2025 年版
: Track B
AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜
: Track A
#FP
#Conference