Y Combinatorを理解せずしてY Combinatorを語るなgrass

このページは半公開の庭先公開ページです。

Y = λf.(λx.f (x x)) (λx.f (x x))

勝手に思った

• Paul Graham

• Lambda calculusにおける不動点コンビネーター

• 再帰のないところに再帰を作り出す

けどこれ、baku89#iconもちゃんと理解できてないので、僕もY Combinatorは語れない

VCをも支援するVCとしてのYC

• Initial Capital
  • news.ycombinator.com news.ycombinator.com