javascript - Lambda Calculus : 404 Blog Not Found

2006年03月15日02:38 カテゴリLightweight Languages javascript - Lambda Calculus ClosureさえあればLambda Calculusは実現できるので、当然Javascriptでも出来る。 にも関わらず、検索してもあまり実例がなかったので一つ作ってみた。 Source: // define var zero = function(f){ return function(x){ return x}}; var succ = function(n){ return function(f){ return function(x){ return f(n(f)(x))}}}; var add = function(m){ return function(n){ return function(f){ return function(x

[amachang]

すべての式をλで表すためには、数値をもλで定義しなければならない？ / ずーっと考えていくと、すべてのリテラルは λx.x+1 と λx.0 に集約できるということか！ / それを f と x に押しこんだんだ。λfx.x

[jiangmin-alt]

すごい

[sunaoka]

javascript:void(eval(...));