suiginto https://blog.hatena.ne.jp/suiginto/ Today I abandon https://suiginto.hatenadiary.org/ JavaScriptで学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記 (はてなBlog) を見てたらラムダ計算のインタプリタを作りたくなってしまった。JavaScript で適当に作成。 http://v.takeuchi.googlepages.com/lambda.html 例えば 問題集編 にある (λx.1)[(λx.[x(x)])(λx.[x(x)])]は (λx.1)((λx.x x) (λx.x x))とすると実行できます。 別の例として、チャーチ数を使って 3 * 4 を計算してみます。 (λm.λn. m ((λm.λn.λs.λz. m s (n s z)… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsuiginto.hatenadiary.org%2Fentry%2F20070210%2F1171072163" title="ラムダ計算インタプリタを作ってみた - Today I abandon" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-02-10 10:49:23 rich https://suiginto.hatenadiary.org/entry/20070210/1171072163 1.0 100%