[Haskell-cafe] Fixed-Point Combinators

Adrian Neumann aneumann at inf.fu-berlin.de
Wed Jul 16 15:17:05 EDT 2008


Hello,

while studying for a exam I came across this little pearl:

Y = (L L L L L L L L L L L L L L L L L L L L L L L L L L L L)
where
L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n  
t c o m b i n a t o r))

posted by Cale Gibbard to this list. Now I'm wondering how exactly  
does one finde such awesome λ expressions? Is there some mathemagical  
background that lets one conjure such beasts?

Adrian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 194 bytes
Desc: Signierter Teil der Nachricht
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080716/7cf606c3/PGP.bin


More information about the Haskell-Cafe mailing list