语法规则不完全卫生？

Question

我知道syntax-rules是一个卫生的宏系统，但我不明白为什么会这样：

(define not (lambda (x) x))

(define-syntax nand
  (syntax-rules ()
    ((_ a b)
     (not (and a b)))))

(nand #f #t)

==> #f

现在，如果我在定义宏之后重新定义了not ，那么(nand #f #t)会返回#t。为什么，如果宏观系统应该是卫生的？

Answer 1

宏在定义宏时存在的环境中扩展，而不是在调用宏时存在的环境中扩展。这与卫生无关，卫生是由宏引入的变量与程序中其他地方存在的其他变量不同的属性。