减少这个 lambda 表达式

Question

(λy.λy.yy)(yy) 伙计们，我无法解决这个表达式。 如果有人帮助我逐步减少这个 lambda 表达式，我将不胜感激

Answer 1

(λy.λy.yy)(yy)

第一个 lambda 永远不会“使用”它的变量，因为它的名称与内部 lambda 相同。不过，如果这不是转录错误，则减少是很简单的。

在减少可能存在名称冲突的表达式之前，请重命名绑定的变量。表达式变为：

(λx.λz.zz)(yy)

接下来，替换。 由于第一个 lambda 中的变量 x 没有任何要替换的绑定实例，因此您应用到它的任何内容都会被丢弃。

λz.zz

由于这个表达式不能再简化，所以这是正常的形式。