あーそうか。λの世界は関数に名前がない世界なのか！ f(x) = x + 2 を λx. x + 2 と書くのは名前を消してるのか！今ごろそこに気づいた。 なので、YM = M(YM) と書くのが反則で λy.(λx.y(xx))(λx.y(xx)) ならOKなのかー。やっと疑問が解けた。参考: http://b…

猪股さんの「C#でYコンビネータ」の記事とそこからリンクされてる記事のたくさんの解説でλの世界に入門してみました。本も借りてきて読んでますが、これは厳しい((c)ひげぽんさん)って世界でまだ全然さっぱりですが、その途中で出会った不思議な言語 Unlambd…