Path: utzoo!yunexus!torsqnt!dptcdc!jarvis.csri.toronto.edu!mailrus!eecae!netnews.upenn.edu!rutgers!cmcl2!yale!Krulwich-Bruce
From: Krulwich-Bruce@cs.yale.edu (Bruce Krulwich)
Newsgroups: comp.lang.lisp
Subject: Re: Self-referencing Closures
Message-ID: <53052@yale-celray.yale.UUCP>
Date: 8 Mar 89 15:54:01 GMT
Article-I.D.: yale-cel.53052
References: <6859@phoenix.Princeton.EDU> <52880@yale-celray.yale.UUCP> <37134@think.UUCP>
Sender: root@yale.UUCP
Reply-To: Krulwich-Bruce@cs.yale.edu (Bruce Krulwich)
Organization: Computer Science, Yale University, New Haven, CT 06520-2158
Lines: 17
In-reply-to: barmar@think.COM (Barry Margolin)

In article <37134@think.UUCP>, barmar@think (Barry Margolin) writes:
>Actually, the last form should be #'-self-, since LABELS binds the
>functional value, not the variable value, of the symbol.
>
>>If you really tend towards the boroque you can use "Church's Y operator" 
>>which is defined in Scheme using:
>
>You could also simply use LETREC in Scheme.  It binds a variable and
>arranges for the scope to include the value form.

Scheme's LETREC is (essentially) the same as CL's LABELS.  I was trying to
show something different by discussion the Y operator.


Bruce