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