Haskellと圏論：パフォーマンス改善からKan拡張へ

グミ@GummyCandy12062026年7月11日Track B50 分

fmapやbindの合成による性能低下をYonedaとCodensityで改善する例から、Kan拡張として統一的に理解し、kan-extensionsでの実装と圏論の対応が分かる。

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