「弱い」世界から分解する「データ型」の概念

Kory@Kory__32026年7月11日Track B50 分

Leanの厳しい制約を通して、帰納的データ型と余帰納的データ型の違いや再帰・余再帰の本質を見直し、代数的データ型への理解を深める。

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