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

This is a semi-public garden page — a draft, left open on purpose.
Y = λf.(λx.f (x x)) (λx.f (x x))

勝手に思った

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

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

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