一，一般定义：
当执行程序或函数语句时，形式参数的当前值被保存（在堆栈上），并且在该语句的范围内，它们被绑定到调用中实际参数的值。退出该语句后，将恢复这些形式参数的原始值。该协议是完全递归的。如果在语句主体内进行某些操作，使形式参数再次绑定到新值，则lambda绑定方案保证这一切都将有序进行。
现在，在这里的讨论中有一个出色的python示例：
“ …仅有一个绑定用于
x：
x = 7仅更改现有绑定中的值。这就是为什么
def foo(x): a = lambda: x x = 7 b = lambda: x return a,b
返回两个均返回7的函数；如果在后面有新的绑定
x = 7，则这些函数将返回不同的值[当然，假设您不调用foo（7）。还假设nested_scopes]
......”
