Y Combinatorを理解せずしてY Combinatorを語るな (メモ)
Y = λf.(λx.f (x x)) (λx.f (x x))
勝手に思った
- Lambda calculusにおける不動点コンビネーター
- 再帰のないところに再帰を作り出す
けどこれ、baku89.iconもちゃんと理解できてないので、僕もY Combinatorは語れない
VCをも支援するVCとしてのYC
- Initial Capital
Y = λf.(λx.f (x x)) (λx.f (x x))
勝手に思った
けどこれ、baku89.iconもちゃんと理解できてないので、僕もY Combinatorは語れない
VCをも支援するVCとしてのYC