[plt-scheme] Applicative-order Y Combinator

From: Michael Vanier (mvanier42 at gmail.com)
Date: Sat May 23 18:59:16 EDT 2009

Lightstar wrote:
> How does this function work? (below)
> I think that it is recursion but I have never seen anything use itself as a parameter before... ( (lambda (f) (f f)) ) could you explain this to me please?
> (define Y
>   (lambda (le)
>     ((lambda (f) (f f))
>      (lambda (f)
>        (le (lambda (x) ((f f) x)))))))
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
I wrote a long blog post on this subject:



Posted on the users mailing list.