我明白 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
.为什么,如果宏观系统应该是卫生的?
最佳答案
宏在定义宏时存在的环境中展开,而不是在调用宏时存在的环境中展开。这与卫生无关,这是宏引入的变量与程序中其他地方存在的其他同名变量不同的属性。
关于macros - 语法规则不完全卫生?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8927937/