\x->y alpha 等同于 \y->y 吗？
Is \x->y alpha equivalent to \y->y?
\x->y alpha 等同于 \y->y 吗？求大神指点，我很迷茫
不，它们不是 alpha 等价物
λx.y 有一个自由变量 y 和一个绑定变量 x – 这是 constant y
λy.y 有 no 个自由变量和一个绑定变量 y – 这也被称为 identity function
\x->y alpha 等同于 \y->y 吗？求大神指点，我很迷茫
不，它们不是 alpha 等价物
λx.y 有一个自由变量 y 和一个绑定变量 x – 这是 constant y
λy.y 有 no 个自由变量和一个绑定变量 y – 这也被称为 identity function