为什么 x 在 lambda 中是自由的

Question

我有以下 lambda 表达式：

x λ x. x

这是一个函数应用，但为什么x是自由变量？

Answer 1

x 在 lambda 中不是自由的，但在 lambda 之外是自由的。或者，更简单地说，在

x (\y. y)

x 是免费的，但 y 不是。只有当没有封闭的 lambda 绑定它们时，变量才是自由的；由于根本没有包含 x 的 lambda，因此肯定没有包含也绑定 x.

的 x 的 lambda