顶级环境中的过程与宏

Question

我将感谢您帮助理解在下文描述的情况下过程和宏之间的行为差​​异。

情况 1（程序）

(define bar (lambda (x) (foo x))) ; closure of 'bar' contains top-level...
; ... environment where 'foo' is not bound yet
;
(define foo (lambda (x) (* x 4))) ; now, 'foo' is bound in top-level environment
;
(bar 2) ; ==> 8 ; when this line is evaluated, 'foo' is available in ...
; ... the top-level environment, so in the closure of 'bar'

这对我来说似乎是合理的。

情况 2（宏）

让我们尝试在第二行中使用宏而不是过程：

(define bar (lambda (x) (foo x))) ; closure of 'bar' contains...
; ... top-level environment where 'foo' is not bound yet
;
(define-syntax foo
  (syntax-rules ()
    ((foo arg1) (* 4 arg1)))) ; I thought that 'foo' was bound in...
; ... top-level environment to the macro
;
(bar 2) ; ==> ERROR: reference to undefined identifier: foo

我不明白该错误。为什么在评估 (bar 2) 时绑定“foo <--> Macro”不可见，而它位于顶级环境中，所以在“bar”的闭包中？

交换第一个第二行解决了问题，但我不明白为什么：

(define-syntax foo
  (syntax-rules ()
    ((foo arg1) (* 4 arg1)))) 
;
(define bar (lambda (x) (foo x))) 
;
(bar 2) ; ==> 8

提前感谢您的帮助！ :-)

此致，

尼古拉斯

Answer 1

在工作版本中，由于宏已经定义，系统将扩展宏，因此您实际上得到：

(define bar (lambda (x) (* 4 x)))

但是，在非工作版本中，宏尚未定义，并且不会扩展。在运行时，bar 函数期望找到 foo 过程，但该过程并不存在。