有趣的递归 lambda 示例

Question

我偶然发现了一个有趣的递归 lambda 示例，但我真的不明白为什么它会以这种方式工作。

rec = lambda x : 1 if x==0 else rec(x-1)*x

f = rec 

rec = lambda x: x+1

print(f(10))  

在javascript中相同。

var rec = function(a) {

  if (a == 0) return 1;

  return rec(a - 1) * a;

}

var f = rec

rec = function(a) {

  return a + 1;

}

console.log(f(10));

令我惊讶的是这两个打印 100 而不是 10！（正如我所料）。

为什么重新分配 rec 会改变 f 函数的行为？当 rec 变量在 lambda 中被捕获时，它不是指的是 lambda 本身吗？

编辑。由于大多数答案都解释了发生了什么，让我重新表述这个问题，因为我正在寻找更深入的解释。

那么在第一行中声明函数 rec 的那一刻，为什么函数体中的 rec 没有绑定到自身？

例如，如果您使用 JavaScript 并按照您得到的其中一个答案中的建议，以看似“相同”的方式重写第一行：

var rec =function rec(a) {

    if (a == 0) return 1;

    return rec(a - 1) * a;

};

f = rec;

rec = function (a) {

    return a + 1;

}

console.log(f(10));

这个打印出10个！正如人们所期望的那样。

所以在这种情况下，“内部 rec”（在函数体中）绑定到函数名的 rec 而不是查看 rec 变量，并且变量 rec 的重新分配没有改变行为。

所以我真正要问的是这些语言决定在 lambda 中绑定变量的机制。

我正在为一个班级项目自己编写一个解释器，我遇到了同样的问题，即何时何地绑定这些变量。所以我想了解这在流行语言中是如何工作的，以实现类似的东西。

Answer 1

我将为 python 解决它，因为这是我熟悉的。首先，这种行为是唯一可能的，因为python（并且我认为看起来像javascript）遵循其闭包的后期绑定。进一步阅读后期绑定是在运行时查找闭包中的名称（与在编译时查找名称的早期绑定不同。）这允许在运行时通过重新绑定在运行时查找的变量（例如像 rec 之类的函数）来改变行为。最后一步只是将 lambda 函数转换为等效的def语法，因此实际行为更加清晰。编码：rec = lambda x : 1 if x==0 else rec(x-1)*xf = rec rec = lambda x: x+1print(f(10)) 可以等价于：第一的：def somefunc(x):    return 1 if x==0 else rec(x-1)*x 请注意，即使在干净的会话/内核上，python 也不会抱怨 rec 不存在，因为它在函数定义期间不会查找值。后期绑定意味着除非调用这个函数，否则python不关心rec是什么。然后：rec = somefuncf = recdef someotherfunc(x):    return x + 1f(10) #3628800现在我们改变rec函数rec = someotherfunc并观察随后的函数调用f将使用后期绑定 rec，即在函数调用中查找。f(10) #100附注。完整代码添加如下：def somefunc(x):    return 1 if x==0 else rec(x-1)*xrec = somefuncf = recdef someotherfunc(x):    return x + 1f(10) #3628800rec = someotherfuncf(10) #100

Answer 2

你可以添加一些console.log和看法，首先f被调用10，然后rec用9其结果是10 * 10。var rec = function(a) {        console.log('f', a);        if (a == 0) return 1;        return rec(a - 1) * a;    };    f = rec;rec = function(a) {    console.log('rec', a);    return a + 1;}console.log(f(10));保持rec.var rec = function rec(a) {        console.log('f', a);        if (a == 0) return 1;        return rec(a - 1) * a;    };    f = rec;rec = function(a) {    console.log('rec', a);    return a + 1;}console.log(f(10));