Ich verstehe what a Y Combinator is, aber ich verstehe nicht, dieses Beispiel für einen „Roman“ combinator vom Wikipedia page:Wie funktioniert Jan Willem Klops "(L L L ...)" Y-Kombinator?
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))
Wie funktionierts?
Die Essenz eines Festkomma-Kombinators C ist, dass C f reduziert auf f (C f). Es ist egal, was Sie für C nehmen, solange dies geschieht. Also statt
(\y f. f (y y f)) (\y f. f (y y f))
können Sie genauso nehmen gut
(\y z f. f (y y y f)) (\y z f. f (y y y f)) (\y z f. f (y y y f))
Grundsätzlich Sie etwas von der Form brauchen
C t1 t2 ... tN
wo ti = C für einige i und
C = \x1 x2 .. xN f. f (xi u1 u2 ... xi ... u(N-1) f)
Die anderen Begriffe und uj werden nicht wirklich "benutzt". Sie können sehen, dass Klop L diese Form hat (obwohl er die Tatsache verwendet, dass alle ti sind L so, dass die zweite xi kann auch jede andere xj sein).