- 750 名前：デフォルトの名無しさん mailto:sage [2008/02/05(火) 22:39:47 ]
- 再帰的に定義されたネコ関数の「意味」は、要するに
(cat (cat (cat (cat ... (cat ┴) ...)))) を無限に連ねた極限である。
ネコ関数を無限に適用するには、たとえば
(lambda (f) ((lambda (x) (f (x x)))
(lambda (x) (f (x x)))))
というコンビネータを cat に適用すればよい。
そして上記のコンビネータを別の観点から解釈すると、
ああ、そうか、これは任意の関数の不動点を求める関数になってるんだ！
これこそが Y Combinator。
我らの誇り、我らの希望、常に我らを導き、我らの上に燦然と輝く光！
