JavaScriptで読む「ラムダ計算基礎文法最速マスター」 - 貳佰伍拾陸夜日記

以前書いた「ラムダ計算基礎文法最速マスター」(以下「最速マスター」)は, 予想以上に多くの人に興味を持ってもらえたようですが, 同時に難しくてわからなかったという人も多かったようです. 反響から察するに, 構文を見慣れていない(と錯覚してしまう)ことが理解の妨げになっていたように思います. ラムダ計算の構文は, 実際には全く特殊なものではありません. このことがよくわかるように, 「最速マスター」のラムダ計算の簡約の例をすべてJavaScriptの構文で書いてみました. ......という内容になるはずでしたが, 気がついたらラムダ計算のインタプリタをJavaScriptで実装していました! 実際に動かせるものは下記URLにあります. https://tarao.github.io/LambdaJS/#js 動作確認と既知の問題 Firefox 3.6 Google Chrome 4.1

[jsstudy]

JavaScriptでラムダ計算の仕組みを理解するための教材

[kzfm]

ラムダ

[sonota88]

「......という内容になるはずでしたが, 気がついたらラムダ計算のインタプリタをJavaScriptで実装していました!」

[efcl]

JavaScriptでラムダ式

[Cherenkov]

ラムダ計算のインタプリタをJavaScriptで実装

[mooz]

インタプリタを実装……！　インタフェースも素晴らしい.

[Layzie]

λλ

[fui10]

あとで試す