Re: Y combinator

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Newsgroups	comp.lang.forth
Subject	Re: Y combinator
References	<a4aljf$2q2$1@news.tuwien.ac.at> <85eh82hjlr.fsf@junk.nocrew.org> <2013Oct3.150934@mips.complang.tuwien.ac.at>
From	Lars Brinkhoff <lars.spam@nocrew.org>
Organization	nocrew
Date	Mon, 07 Oct 2013 15:06:01 +0200
Message-ID	<85vc19dydi.fsf@junk.nocrew.org> (permalink)
User-Agent	Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)
Cancel-Lock	sha1:B8Ju1XdMFi19KGaHWoxXqF81Ebc=
MIME-Version	1.0
Content-Type	text/plain; charset=us-ascii
Lines	21
NNTP-Posting-Host	85.229.87.73
X-Trace	news.sunsite.dk DXC=26THGh@kK0G3j@n`X75YjCYSB=nbEKnkKP;E3?JGha`KnY:6X7^ZBNGI57e>YZ9SOKi6C];H\kJ`I5oU@eTA=?M@G>^6ai6ceiG
X-Complaints-To	staff@sunsite.dk
Xref	csiph.com comp.lang.forth:26344

Show key headers only | View raw

anton@mips.complang.tuwien.ac.at (Anton Ertl) writes:
> Lars Brinkhoff <lars.spam@nocrew.org> writes:
>>: y ( xt1 -- xt2 )   here tuck 2>r  1 cells allot
>>   :noname r> postpone literal postpone @ r> compile, postpone ;
>>   dup rot ! ;
>
> Nice.
>
> Now Curry's definition of Y is
>
> Y = lambda f.(lambda x.f (x x))(lambda x.f (x x))
>
> I am wondering what capabilities of Forth we have to remove until we
> have to go to these lengths.

"Why" indeed.

I was tempted to submit this smaller version, but felt that the named
definition was not quite in the spirit of the original Y.

: y ( xt "name" -- )   >in @ create >in ! , ' ,  does> 2@ execute ;

Back to comp.lang.forth | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Y combinator Lars Brinkhoff <lars.spam@nocrew.org> - 2013-10-03 09:57 +0200
  Re: Y combinator anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2013-10-03 13:09 +0000
    Re: Y combinator Lars Brinkhoff <lars.spam@nocrew.org> - 2013-10-07 15:06 +0200

csiph-web