[racket] Y combinator

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Feb 6 13:21:42 EST 2014

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. ]]

Posted on the users mailing list.