Talk:Y combinator: Difference between revisions
Content added Content deleted
(→PicoLisp not incorrect: new section) |
m (→PicoLisp not incorrect: Someone else removed it from the E example.) |
||
| Line 173: | Line 173: | ||
(X X) ) )</lang> |
(X X) ) )</lang> |
||
Someone marked this incorrect because "Y is explicitly recursive on Y". The <tt>(Y)</tt> second parameter to <tt>curry</tt> declares a local function parameter Y which is not the same as the original Y. So the original Y never recurses on itself; it calls a different Y. I removed the <nowiki>{{incorrect}}</nowiki> tag from the PicoLisp |
Someone marked this incorrect because "Y is explicitly recursive on Y". The <tt>(Y)</tt> second parameter to <tt>curry</tt> declares a local function parameter Y which is not the same as the original Y. So the original Y never recurses on itself; it calls a different Y. I removed the <nowiki>{{incorrect}}</nowiki> tag from the PicoLisp example. --[[User:Kernigh|Kernigh]] 18:59, 11 April 2011 (UTC) |
||