型つきラムダ計算 2008-08-26 Study コンテンツ 型つきラムダ計算を実装しようと思ったが、これが思っていた以上に難しい。単にベータ簡約すればいいだけじゃないからなぁ。 まぁ、コンパイラつくるようなもんだしな。難しい… 作成者 Toru Mano 最終更新時刻 2023-01-01 (c70d5a1)