2008-09-06から1日間の記事一覧
404 Not FoundやはてなダイアリーでλCが話題になっていたので、Lambda C インタプリタを実装してみた。多相型も依存型もサポート。定理証明もできる。Lambda C Interpreterサンプルコード: λ(A:*). λx:A. x (恒等関数) λ(A:*). λ(x:A). λ(y:A). Π(P:Π(a:A)…
404 Not FoundやはてなダイアリーでλCが話題になっていたので、Lambda C インタプリタを実装してみた。多相型も依存型もサポート。定理証明もできる。Lambda C Interpreterサンプルコード: λ(A:*). λx:A. x (恒等関数) λ(A:*). λ(x:A). λ(y:A). Π(P:Π(a:A)…