K组合器的不动点

K 组合器为 K := (λxy.x)，定点组合器为 Y := λf.(λx.fxx) (λx.fxx) 。我试图计算YK： YK = (λx.Kxx)(λx.Kxx) = (λx.x)(λx.x) = (λx.x) = I …