Lambda微积分问题 - 混凝土

Question

我有以下

(f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x)
= x.(y.y+1)(x+1)
= x.x+1+1

我不明白为什么最后的转换还可以吗？不应该 x.(y.y+1)(x+1)= y+1？他为什么能摆脱 y

Answer 1

(y . y + 1) 应用于其论点 (x + 1), ，所以它被替换为 y 给 ((x + 1) + 1).

我看不出你是怎么想到的 x . (y . y + 1)(x + 1)= y + 1. y 仅存在于内部函数的范围中。