Talk:Y combinator: Difference between revisions
Content deleted Content added
→Is this really the "Y" combinator?: Ruby has not the Y combinator. |
→PicoLisp not incorrect: new section |
||
Line 166:
==Is the C++ a combinator or just recursion "macro"?==
I was concerned as the definition of Y explicitely depends on Y, which I thought is the kind of thing the Y combinator was trying to dodge! Mind you, my knowledge of this C++ esoteria comes down to reading [http://msdn.microsoft.com/en-us/library/bb982702.aspx this]. --[[User:Paddy3118|Paddy3118]] 06:48, 10 April 2011 (UTC)
== PicoLisp not incorrect ==
<lang PicoLisp>(de Y (F)
(let X (curry (F) (Y) (F (curry (Y) @ (pass (Y Y)))))
(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 example, and from the E example. --[[User:Kernigh|Kernigh]] 18:57, 11 April 2011 (UTC)
|