You're replying to a comment by Matt Might.

February 19, 2010, 14:46

Great post!

I think this approach to deriving the Y combinator really appeals to the hackers. I'll share with my students.

I teach a compilers class, and I wrote up an alternate derivation for my students that starts with fixed points; you might be interested:

Deriving a memoizing Y combinator for JavaScript from fixed point theory.

Reply To This Comment

(why do I need your e-mail?)

(Your twitter handle, if you have one.)

Type the word "linux_197": (just to make sure you're a human)

Please preview the comment before submitting to make sure it's OK.