[plt-scheme] Re: PLT Mzlib: Libraries Manual 24.3 Examples Y operatorill defined

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Wed Oct 25 15:11:48 EDT 2006

Kyle Smith skrev:

> I found this site to be particularly helpful: 
> http://www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html.  A this site I they 
> define the form that most of the examples I was finding were similar to.  They 
> called the applicative-order Y-combinator:
>   (define Y
>     (lambda (X)
>       ((lambda (procedure)
>          (X (lambda (arg) ((procedure procedure) arg))))
>        (lambda (procedure)
>          (X (lambda (arg) ((procedure procedure) arg)))))))

There are many versions. Just in case you haven't seen this one:

"Putting Scheme to Work" by Danvy:


Jens Axel Søgaard

Posted on the users mailing list.