jjzjj

SKI-Combinators

全部标签

javascript - 在 JavaScript 中用 SKI-Combinators 表达 Y

我正在摆弄JavaScript中的组合子,并为(希望)让S工作而感到自豪,这时我偶然发现维基百科说:“Y组合子可以在SKI演算中表示为:Y=S(K(SII))(S(S(KS)K)(K(SII)))",所以我不得不尝试:varI=function(x){returnx;};varK=function(x){returnfunction(){returnx;}};varS=function(x){returnfunction(y){returnfunction(z){returnx(z)(y(z));}}};varY=S(K(S(I)(I)))(S(S(K(S))(K))(K(S(I)(I