本物のプログラマーは unsafe と型システムを使う 〜拡張可能レコードを作って学ぶ黒魔術入門〜

konn@mr_konn2026年7月11日Track B50 分

Haskellで拡張可能レコードを実装し、型レベルプログラミングやunsafePerformIO等のエスケープハッチとの付き合い方、型を活かすライブラリ設計が学べる。

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