< p >
K
组合器是K := (λxy.x)
,不动点组合器是Y := λf.(λx.f x x) (λx.f x x)
。我尝试计算YK
:
YK = (λx.Kxx)(λx.Kxx) = (λx.x)(λx.x) = (λx.x) = I
因为K
的不动点是YK
:
K(YK) = YK
KI = I
KIe = Ie = e
对于任意 e
,但是KIe
应该等于 I
!