[racket] Y combinator

From: John Clements (clements at brinckerhoff.org)
Date: Thu Feb 6 13:48:50 EST 2014

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



Posted on the users mailing list.