functional-programming - Jan Willem Klop 的“(LL L...)”Y 组合器是如何工作的？

Question

我了解Y Combinator 是什么，但我不了解来自Wikipedia 页面的“新颖”组合器示例：

Yk = (LLLLLLLLLLLLLLLLLLLLLLLLLLL)

在哪里：

    L = λabcdefghijklmnopqstuvwxyzr。(r (thisisafixedpointcomb inator))

这是如何运作的？

Answer 1

定点组合C器的本质是C f减少到f (C f). 只要这样做，您需要什么都没关系C。所以而不是

(\y f. f (y y f)) (\y f. f (y y f))

你也可以拿

(\y z f. f (y y y f)) (\y z f. f (y y y f)) (\y z f. f (y y y f))

基本上你需要一些形式

C t1 t2 ... tN

ti = C一些i和_

C = \x1 x2 .. xN f. f (xi u1 u2 ... xi ... u(N-1) f)

tj其他术语uj实际上并未“使用”。你可以看到克洛普L有这种形式（尽管他使用了 all tiare Lsuch that the secondxi也可以是 any other的事实xj）。