单一命名空间为何会导致不卫生的宏？ （在 LISP 中）

Question

有人声称 LISP 中的单一名称空间会导致宏不卫生。 http://community.schemewiki.org/?hygiene-versus-gensym

< a href="http://www.nhplace.com/kent/Papers/Technical-Issues.html" rel="nofollow noreferrer">http://www.nhplace.com/kent/Papers/Technical-Issues.html

拥有单一、双重或多个命名空间到底是什么导致了宏观卫生？

Answer 1

Lisp-2 意味着你有两个命名空间：一个用于函数，一个用于其他东西。

这意味着您不太可能无意中重新绑定宏中的函数值（或 var 值）。

在 Lisp-1 中，由于只有一个名称空间，因此（从统计上看，但实际上并非如此）命中现有定义的可能性是原来的两倍。

事实上，Lisp-1 具有诸如 gensym 之类的卫生性，以及 Scheme 中一系列令人困惑的类似于语法结构的宏，这些宏可以保持卫生性。

据我所知，这个问题主要是一个稻草人的论点：这只是较差或较旧的实现中的问题。

Clojure 通过 gensym 或读取器宏 myvar# 提供卫生宏（# 本质上是 gensym）。

而且您也不必担心本地作用域在宏中重新绑定函数：Clojure 都是干净的：

user=> (defmacro rev [xs] `(reverse ~xs))
#'user/rev
user=> (rev [1 2 3])
(3 2 1)
user=> (let [reverse sort] (rev [1 2 5 3 6]))
(6 3 5 2 1)

这里有一些变量卫生：

user=> (defmacro k [] (let [x# "n"] x#))
#'user/k
user=> (k)
"n"
user=> (let [x "l"] (k))
"n"
user=> (let [x "l"] (str (k) x))
"nl"

注意我们性感的 gensym'd x#.