Lambda the Ultimate

inactiveTopic The Why of Y
started 9/21/2000; 2:59:27 AM - last post 9/21/2000; 12:40:26 PM
Ehud Lamm - The Why of Y  blueArrow
9/21/2000; 2:59:27 AM (reads: 446, responses: 3)
The Why of Y
Ocne upon a time there was lecture with this title, explaining the "applicative order Y combinator" (or more simply, how to have recursion without "naming" functions).

The lecture turned into a chapter in "The Little Schemer," but it turns out this is a sample chapter.

Posted to "" by Ehud Lamm on 9/21/00; 4:45:18 AM

Ehud Lamm - Re: The Why of Y  blueArrow
9/21/2000; 10:35:54 AM (reads: 465, responses: 2)
By the way: Does anyone have a link to a good handout/summary of the basics of Lambda Calculus, preferably including reductions (alpha, beta, eta) and the Y combinator?

Chris Rathman - Re: The Why of Y  blueArrow
9/21/2000; 12:35:47 PM (reads: 511, responses: 1)
Don't know of any good resources, but I've been meaning to save up enuf money to buy Structure and Interpretation of Computer Programs by Abelson and Sussman^2 which uses Scheme. Anyone know whether it's worth the price?

Ehud Lamm - Re: The Why of Y  blueArrow
9/21/2000; 12:40:26 PM (reads: 566, responses: 0)
It is very good book. For many people it is a sort of bible-book.

I mention it on my list of recommended reading.

It is indeed costly. I managed to use it with buying it...