Anonymous user
Talk:Y combinator: Difference between revisions
→Is this really the "Y" combinator?: Some texts make the distinction.
(→Is this really the "Y" combinator?: new section) |
(→Is this really the "Y" combinator?: Some texts make the distinction.) |
||
Line 39:
According to [[wp:Fixed point combinator]], and [http://ttic.uchicago.edu/~pl/classes/CMSC336-Winter08/lectures/lec4.pdf here] page 6, and [http://ttic.uchicago.edu/~pl/classes/CMSC336-Winter08/lectures/lec4.pdf here] page 2, the Y combinator is the precise form <code>λf·(λx·f (x x)) (λx·f (x x))</code>, which does not work for applicative-order evaluation. The version you are using for Python is closely related to what they call the ''Z'' combinator, which is <code>λf. (λx. f (λy. x x y)) (λx. f (λy. x x y))</code> (the version you are using is just one step "before" this; one step of evaluation will produce this). So I am not sure if we should have named the article the "Y" combinator. --[[Special:Contributions/71.106.173.110|71.106.173.110]] 20:49, 1 March 2009 (UTC)
:Hmm, They are related, and my reference, (and others), seem to have lumped them both together under the familiar title "Y combinator". I suggest a redirect of "Z combinator" to this page and a note be added to task. --[[User:Paddy3118|Paddy3118]] 05:48, 2 March 2009 (UTC)
| |||