[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Y combinator derivation
In article <8909222102.AA19330@zurich.ai.mit.edu> markf@ZURICH.AI.MIT.EDU
> Sometime in the middle past (i.e. more than six months ago and less
> than two years ago) someone posted a nice derivation of the Y
> combinator. He or she took a recursive definition of factorial (I
> think) and through a series of abstractions derived Y.
This sounds suspiciously like the derivation of the applicative-order
Y-combinator that appears in "The Little Lisper," either the trade edition
or the third edition of which is STILL the standard way to turn someone on
to Scheme, in my book, especially if they're not much into computer
science (if they're already into computer science, I'll forget the quick
kiss of "The Little Lisper" and move right on into pure seduction with
"Structure and Interpretation of Computer Programs.")
Just because I work for Apple Computer, Inc. doesn't mean that they
believe what I believe or vice-versa.