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