Python中双变量（x、y）递归Lambda函数实现方法问询

好问题！用lambda实现多变量递归确实是个有意思的挑战——本质上我们可以通过多参数版本的Y组合子来实现，这是函数式编程里用来实现匿名递归的经典技巧。我结合你给出的字典列表场景，一步步给你拆解怎么弄：

单变量的lambda递归依赖Y组合子来让匿名函数能“引用自己”，扩展到双变量（或多变量）时，我们只需要调整组合子，让它支持传递任意数量的参数就行。这里是适配Python的多参数Y组合子实现：

Y = lambda f: (lambda x: f(lambda *args: x(x)(*args)))(lambda x: f(lambda *args: x(x)(*args)))

简单解释下：这个Y组合子接受一个函数f，f的参数是递归函数本身的引用；嵌套的lambda会把递归函数的引用传递进去，同时用*args接收任意多的参数——不管你是双变量、三变量都能兼容。

以你给出的单层嵌套字典列表为例，假设我们要写一个递归函数：接受data（待遍历的列表/字典）和total（当前累计总和）两个参数，最终返回所有嵌套字典里数值的总和。用lambda+Y组合子实现如下：

# 定义多参数Y组合子
Y = lambda f: (lambda x: f(lambda *args: x(x)(*args)))(lambda x: f(lambda *args: x(x)(*args)))

# 用Y组合子构造递归求和函数
recursive_sum = Y(
    lambda func: lambda data, total:
        # 如果是列表，遍历每个元素递归调用
        sum(func(item, total) for item in data) if isinstance(data, list)
        # 如果是字典，遍历值：子字典就递归，数值直接累加
        else total + sum(func(v, 0) if isinstance(v, dict) else v for v in data.values()) if isinstance(data, dict)
        # 非列表/字典类型，返回当前累计值
        else total
)

# 测试你的字典列表
dicts = [
    {'A': {'a': 1}, 'B': {'a': 10}},
    {'A': {'b':3}},
    {'B': {'c': 31}},
    {'A': {'j': 4, 't': 9}}
]

print(recursive_sum(dicts, 0))  # 输出：1+10+3+31+4+9 = 58

• 传给Y组合子的是lambda func: lambda data, total: ...，这里的func就是递归函数本身的引用（Y组合子帮我们自动传递的）
• 函数的两个参数分工明确：data是要处理的目标数据，total是当前的累计值
• 分支逻辑：列表就遍历递归，字典就遍历值判断是否继续递归，最终把所有数值累加起来

如果你的双变量是更纯粹的数学参数（比如x和y），比如实现f(x,y) = x + f(x-1,y) 当x>0，否则返回y，用同样的模式就能实现：

Y = lambda f: (lambda x: f(lambda *args: x(x)(*args)))(lambda x: f(lambda *args: x(x)(*args)))

# 双变量递归函数：计算x的累加和加上y
double_var_recur = Y(
    lambda func: lambda x, y:
        x + func(x-1, y) if x > 0 else y
)

print(double_var_recur(5, 10))  # 5+4+3+2+1+10 = 25

内容的提问来源于stack exchange，提问作者doomsk