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只存在于内部函数的作用域内。