Y combinator cont'd cont'd - kuenishi's blog先日のY combinatorの記事が間違っているわけではないがせっかく型付けが弱いんだから再帰なしで書いたらいいじゃないとの指摘を受けて、土日からうーんと悩んでいた。理論的な根拠付けとしては再帰を使わないでラムダ式で定義したYこんびねーた Y = λf.(λx.f (x x)) (λx.f (x x))をErlang風に書けばよいのだけども、最初はこのラムダ式の意味が理解できなかった。Wikipediaのところを参考にしながら、うーんとかいってたわけです。石垣の人にもちょいちょい教えてもらいながら。というかこのページすごく参考になりました。もう石垣島にケツ向けて寝れません。 でまあそれでも動かず、無限ループになるYコンビネータ Y = fun(F)-> (fun(X)->F(X(X))end)(fun(X)->F(X(X))end) end. 書いたりして無限ループしてCtrl-Cとか押
