Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

/prog/ Confessions Thread

Name: Anonymous 2015-04-26 21:07

I've never really understood the Y combinator.

Name: Anonymous 2015-04-28 16:08

>>37
(lambda (f)
((lambda (w)
(lambda (a)
((f (w w)) a)))
(lambda (w)
(lambda (a)
((f (w w)) a)))))


there you go, actual λ calculus
don't you find it pretty fascinating that you can recursion from just lambdas though?

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List