なぜ関数型プログラミングで「型」と「証明」が語られるのか

梶川琢馬@kajitack2026年7月11日Track B25 分

副作用の分離と型中心の設計が、なぜ型理論や証明の話につながるのかを実務目線で整理し、関数型の理論を自分の開発の延長として捉え直せる入門話。

発表概要の全文は fortee の発表ページ で読めます。