プログラム言語
ca207aeb :
Anonymous
2010-12-23 18:27
U = λf.((fS)K)
(en.wikipedia.org)
"."がわかんない。小飼弾さんのとこにjavascriptで書いてあったのでコピペしてみる。
U = function(x){return x(S)(K)};
SやKもUと同じく関数なのでそういうものだと思っておくとしても、return x(S)(K)ってどうなんの?
Powered by
shinGETsu
.