On Feb 6, 2014, at 10:21 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote:
> > On Feb 6, 2014, at 1:05 PM, Prabhakar Ragde <plra...@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 ____________________ Racket Users list: http://lists.racket-lang.org/users
