関数型まつり 2025に行ってきた話

2025/06/15

概要

もともと中高の部活でプログラミングを始めていて、その時二個上の先輩から Haskell を勧められたことがある
- 有名なすごいH本を先輩から貸してもらって読んだりしていた
大学ではその辺触れなかったものの、業務で Scala 書く機会はあったので結果関数型言語からは逃れられなかった
- Fiber とか使ってたので少なくとも関数型的な考えは触れ続けていた
単純な興味で土日の勉強会だけど行ってみるかーとなった

旧交を温めた
- 中高の時の先輩とも大学の時のバイトの知り合い(スタッフやってた)も再会した
- なんかノリで昼ごはん着いてったら知り合いの知り合いくらいの人とも繋がれた
過去一ギークだった
- 形式手法とかモナドとか 100 年分見た気がする
- 数学チックとかではなくがっつり数学みたいなのがめっちゃあったのがよかった
  - きちんと向き合ってる(それでいて楽しそう)な様子に元気をもらえた
  - 一見難しい厳密な証明でも「お気持ち」「アイデア」部分やそれがどう嬉しいのかを聞けると話としては筋が通って聞けるので楽しかった
趣味プロとしてちょうどいいサイズ・難易度の題材をたくさん知れた
- 最近生成 AI/Agentic Coding みたいなのばっかで(それはそれで楽しいのかもしれないけど)、手を動かして理解するみたいな場面を意識的に取らなきゃいけない時代になった気がしている
  - 理論然り実装然り
- 業務ともいい感じに切り離されている
- 先人がいるので一定のゴールがある

初っ端これで度肝を抜かれた
- 途中からメモを取るのをやめて理解に集中した(難しいセッションは軒並みこの姿勢になった)
「パーサは自作しているものを使います」がかっこよかった
型検査器を作ったことがないので、最小の状態から順に大きくしていく流れが勉強になった
型安全性の話(相互再帰が書けてしまう話)
- このカンファレンス通して「実用上は」が結構キーワードだと思った
- 結局入れるためのコストと、それに見合ったリターンがないと切り捨てられることがあるのはプロダクト開発の考えと同じだなと思った
本は買った

正直全部面白かった

まず目次が目を引く感じだった
- 狂気と覚悟
定性・主観的な話が多かった(本人も言ってた)ものの、実態は地道な合意形成・情報収集・手を動かした検証で勘所をつかんできたんだなというのが伝わる発表だった
- その言語での「良いコード」に対する土地勘
- コミュニティが大きくないことを逆に利用してフォーラムを全部読む
- コードレビューはどういうコードが(チームにとって、製品にとって)いいコードかの伝道事業
自分でやる精神と特に腕力を感じた

どちらも SML#の発表を聞いていた

5 分くらい遅れて入ったら予想以上に面白いし分かる話で聞き入ってしまった
- 大学生の時、遅刻して１限の教室に入ったら思ったより面白い話で最初から聞いておけばよかったみたいなことがあって、その記憶がよみがえった
- 「創造的活動は、構成上、既存の価値や秩序の否定と破壊の側面をもつ」から始まるメッセージはシンプルに心に響いた
- 創作、やっていかないとね
１０分で理解する SQL 問い合わせはめちゃ勉強になった
- SQL は関数型言語であるという主張も、そのあとの流れもきれいだった
Youtube 後で見よーと飛んだらすでにチャンネル登録してあった
- 元から興味があったんだね

ここもノミネート複数という感じ

ひとつ前の Kory さんの発表から誘導を受けたのでそのまま吸い込まれた
- 午前中も全く同じ流れで SML#の発表を 2 つ聴いた
正規表現は使う側しかやったことなく、作る側やその正しさを証明したことがある人までいる空間に放り込まれていた
客観的な動機(信頼性の保証・実装の品質向上)と主観的な動機(パズル的な面白さ、深い理解が得られる)がバランスよく、かつ DFS という例も馴染みあるものですっと入ってきた
定理証明支援系の言語も少し触ってみようかなあ

セクション:	Posts
Tags:	勉強会

velengel