プログラム言語

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)ってどうなんの?

Top of this page. | <<last 0 1 2

limit: 15360KB

(プログラム言語/244/0.1MB)

Powered by shinGETsu.