2 
 (define make (lambda (x) (lambda (y) (cons x (list y)))))

 (let ((x 7)
       (p (make 4)))
   (cons x (p 0)))

我是 Scheme 和函数式程序的新手，所以我在浏览程序时有点笨拙，但我知道如果我使用深度绑定，这个程序将返回 (7 4 0)。说得通。这个程序使用浅绑定会做什么？我知道这听起来可能很愚蠢，但是与 cons 一致的 p 是重新定义吗？所以在那种情况下，我们会返回 (7 0)？

基本上，我理解 deep v. shallow binding 的概念，但我觉得我在看 Scheme 时把它搞混了，因为我对它并不熟悉。

4

2 回答 2

3

深层或浅层绑定是一种实现技术，无法从程序内部观察到。程序员的区别在于词法和动态范围规则之间，但两者都可以用这两种技术中的任何一种来实现（即一个概念与另一个无关）。

深或浅是指选择堆栈帧来保存给定的外部范围变量的绑定。在深度绑定中，需要访问一系列帧，直到输入正确的帧来保存变量的记录；在浅层绑定中，所有绑定都存在于一个浅层环境中。另请参阅“rerooting”（仅在词法范围的浅绑定实现的上下文中才有意义）。

对于您的具体问题，根据词法范围规则，您的代码将返回(7 4 0)并且在动态-下(7 7 0)，因为调用((lambda(y) (list x y)) 0)是在x=7绑定的动态范围内完成的（作为旁注，(cons x (list y))与 相同(list x y)）：

x = 7
p = (lambda (y) (list x y))      ; x=4 is unused, in p=(make 4)
(cons 7 (p 0)) == (list 7 7 0)   ; 'x' in this line and in lambda body for p
                                 ;   both refer to same binding that is
                                 ;   in effect, i.e. x=7

NB 相同的术语（深/浅绑定）现在在其他语言中使用完全不同的含义（它们确实与那里的范围规则有关），我不想完全理解。这个答案是在 Scheme 的上下文中给出的。

参考：LISP 1.5 中的浅绑定， Baker，Henry G. Jr.，1977 年。

于 2013-02-22T00:39:08.997 回答
0

请参阅此 wikipedia文章以了解有关范围的讨论（它提到了词法/动态范围和深/浅绑定），记住 Scheme 是词法范围的。Will Ness 的回答提供了更多信息。现在，让我们一步一步地看看这段代码中发生了什么：

; a variable called x is defined and assigned the value 7
(let ((x 7)
; make is called and returns a procedure p, inside its x variable has value 4
      (p (make 4)))
; 7 is appended at the head of the result of calling p with y = 0
  (cons x (p 0)))

=> '(7 4 0)

请注意，在第二行中，在 lambda 返回的 lambda 中创建了一个闭包make，其中的变量x将被赋值4。这x与外部无关x，因为 Scheme 是词法范围的。

最后一行不是重新定义，如上一段所述，x里面与表达式中定义的make不同。xlet

于 2013-02-21T22:41:34.903 回答