entiendo what a Y Combinator is, pero no entiendo este ejemplo de una "novela" combinador, desde el Wikipedia page:¿Cómo funciona el combinador Y ("L L ...)" Jan Willem Klop?
Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L)
Where:
L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))
¿Cómo funciona esto?
La esencia de un combinador de punto fijo C es que C f se reduce a f (C f). No importa lo que tome para C, siempre y cuando lo haga. Así que en lugar de
(\y f. f (y y f)) (\y f. f (y y f))
simplemente puede ser que también tome
(\y z f. f (y y y f)) (\y z f. f (y y y f)) (\y z f. f (y y y f))
Básicamente se necesita algo de la forma
C t1 t2 ... tN
donde ti = C por alguna i y
C = \x1 x2 .. xN f. f (xi u1 u2 ... xi ... u(N-1) f)
Los otros términos tj y uj en realidad no se "usan". Puede ver que Klop's L tiene esta forma (aunque utiliza el hecho de que todos ti son L de forma que el segundo xi también puede ser cualquier otro xj).