関数型まつり2026

Welcome to the "Parametricity" 🏙️ − Generic だけど Specific な世界 −

TAKASE Kazuyuki@guvalifTrack A50 分

Parametricityを数学的背景から噛み砕き、型定義だけで実装がほぼ決まる直感と、型を関係を保つ構造として見る視点を、TypeScript実装で学べる。

スライド

speakerdeck.com でスライドを開く

同じ技術の発表を探す

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