Lambda the Ultimate

Y derived
started 3/18/2004; 1:29:27 AM - last post 3/18/2004; 9:55:56 PM

Ehud Lamm - Y derived

3/18/2004; 1:29:27 AM (reads: 11219, responses: 1)

Y derived

I don't recall seeing this derivation of the applicative order Y combinator (from Richard Gabriel) mentioned here.

It's short and sweet.

Posted to LC by Ehud Lamm on 3/18/04; 1:29:42 AM

Ashley Yakeley - Re: Y derived

3/18/2004; 9:55:56 PM (reads: 273, responses: 0)

I have a much simpler fixed-point operator in my Scheme, called "call-with-result". E.g.:

(call-with-result (lambda (x) 3))

=> 3

(define ps (call-with-result (lambda (x) (cons 'p x))))

(list-head ps 30)

=> (p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p)