※ 引述《Etude ( )》之銘言：
: fix = lambda {|f|
: lambda {|x| f[lambda {|y| x[x][y]}]
: }[lambda {|x| f[lambda {|y| x[x][y]}]}]
: }
: 推 noctem:出現了！XD 聽說這東西叫做 Z combinator... 04/23 02:07
: 推 kojilin:Y combinator!?想得出來的人真是... 04/23 18:18
http://en.wikipedia.org/wiki/Y_combinator
Wikipedia 上說這個叫做 Z combinator.
Y combinator 則是 Y = \f . (\x . f (x x)) (\x . f (x x))
但 strict 的語言沒法直接用 Y combinator.
Y combinator 是 Curry 發現的. 後來還發現了一大堆 fixed-point
combinators. 只能說這些人腦筋真好...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.157.71