[racket] Y combinator

On Feb 6, 2014, at 10:21 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:

> 
> On Feb 6, 2014, at 1:05 PM, Prabhakar Ragde <plragde at uwaterloo.ca> wrote:
> 
>> Matthew Johnson wrote:
>> 
>>> My question is really a plea for someone to fill in the gaps in a
>>> derivation of the Y combinator.
>> 
>> This is the source I use as a basis for my classroom presentations, with a few more details thrown in.
>> 
>> http://www.dreamsongs.com/Files/WhyOfY.pdf
> 
> 
> [[ Naturally I am partial, but I don't think Dick's explanation constructs the Y combinator; it merely explains its workings. ]]

I recall a really nice version of this explanation written up (I think) by Matthew. I recall thinking that it was beter than Gabriel’s. I’m guessing that it drew fairly heavily on your Little Schemer, natch.

Forgive me if my memory is faulty.

John