Lambda微积分评估

Question

我知道这是一个简单的问题，但是有人可以向我展示$（ lambday。 lambda x。 lambda y。是的。

Answer 1

$（ lambda y。 lambda x。 lambda yy）的原因（ lambda x。 lambda y。 y $，而不是$ lambda x。 lambda y。 lambda x。 lambda yy $是$ lambda y。

如果将参数重命名为具有不同的名称，则$ lambday。 lambdax。 lambda yy $将写为$ lambda y_1。 lambda x。因此，如果您将该函数应用于参数，则意味着每次出现$ y_1 $ in $ lambda x。 lambda y_2.y_2 $都应用参数替换。但是，$ y_1 $在该表达式中根本没有出现，因此参数被简单地忽略了，结果仅为$ lambdax。 lambda y_2.y_2 $。