作者noctem (noctem)
看板Ruby
标题Re: [Ruby] recursive lambda
时间Mon Apr 23 19:57:51 2007
※ 引述《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