如何通过lambda演算修复`f = lambda x: f(x)+1`的无限循环错误

问题本质 #

你遇到的无限递归是Python的*迟绑定（Late Binding）*特性导致的：lambda内部的变量不会在函数定义时解析取值，只会在函数实际调用时才查找对应的值。当你调用f(1)时，f已经被赋值为第二个lambda函数，所以内部的f(x)会不断递归调用新的f自身，触发死循环。

你想要的「先计算赋值右侧表达式、用旧的f值生成新函数再覆盖f」的逻辑，本质是要求函数定义时就捕获当前环境的f值，刚好可以通过lambda演算的变量捕获思路实现。

Python 极简修复方案 #

利用Python函数默认参数定义时立即求值的特性，手动把当前的旧f值绑定到lambda的参数上，避免后续变量覆盖的影响：

f = lambda x: x
f = lambda x, f=f: f(x) + 1
print(f(1)) # 输出结果为 2，完全符合预期

这里的f=f相当于在lambda定义时，就把当前作用域的旧f值绑定到了lambda的局部参数f上，后续外部f的赋值不会影响这个局部绑定的旧值。

函数式语言原生支持 #

在Scheme、Haskell这类默认遵循不可变绑定、作用域静态解析的函数式语言中，天然就符合你期望的逻辑，不需要额外处理：
以Scheme为例：

(define f (lambda (x) x))
(set! f (lambda (x) (+ (f x) 1)))
(display (f 1)) ; 直接输出 2，无无限递归问题

Lambda演算层面的原理 #

这个修复方案本质是lambda演算中β规约的实际应用：我们手动将新lambda函数中的自由变量f，用定义时环境中已有的旧f值做了一次预替换，把自由变量转化为绑定变量，彻底避免了调用时变量被意外捕获的问题。

内容的提问来源于stack exchange，提问作者Mostafa - Free Palestine