关于自由和绑定变量的问题

Question

我一直在阅读《计算机程序的结构和解释》，并得出一个令人困惑的观点，即本书试图解释自由变量和绑定变量。 我已经在该站点上阅读了许多有关此概念的解释，但似乎没有一个对我有用。 这是解释绑定变量和自由变量的文本：

*本书使用编程语言Lisp（Scheme）

“形式化过程在过程定义中具有非常特殊的作用，因为形式参数的名称无关紧要。这样的名称称为绑定变量。”

我的第一个问题是，为什么形式参数的名称无关紧要，这很重要？

“我们说过程定义绑定了它的形式参数。如果在整个定义中始终对绑定变量进行重命名，则过程定义的含义不变。”

好的，在这里使用绑定一词对我来说绝对没有任何意义。 更重要的是，在整个定义中重命名绑定变量的一些示例是什么？ 我在整本书中创建的每个过程从未谈论过在该过程定义中更改过程定义的形式参数名称。 据我了解，您可以在过程定义的开头设置形式参数，就是这样。

Answer 1

假设我们定义了一个过程f ：

def f(x):
    print(x + z)

可以这样描述： f接受参数x ，并在x与全局变量z相加时打印结果。

现在假设我们在整个定义中将x重命名为y ：

def f(y):
    print(y + z)

显然，此函数执行的功能与以前完全相同。 这是因为初始定义中的名称x或此定义中的y在f “绑定”。 命名为x还是y都没有关系。

相反，如果我们将f定义如下：

def f(x):
    print(x + w)

现在， f定义有所不同：与其将参数与z相加，而没有将其与w相加。 重要的是，将z重命名为w ，因为在函数体中z的出现是“自由的”，而不是“绑定的”。