導致不衛生宏的單個命名空間是什麼？ （在LISP中）

Question

一些人聲稱LISP中的單個命名空間會導致不衛生的宏。 http://community.schemewiki.org/?hygiene-versus-gensym

http://www.nhplace.com/kent/Papers/Technical-Issues.html

什麼恰恰是它關於有單，雙或多個命名空間，導致宏觀衛生？

Answer 1

Lisp-2意味着你有兩個命名空間：一個用於功能，一個用於其他的東西。

這意味着你不太可能在不知不覺中重新綁定宏中的函數值（或var值）。

在Lisp-1中，由於存在一個命名空間，因此您（在統計上但不是實際上）命中現有定義的概率是其兩倍。

實際上，Lisp-1s的衛生已經涵蓋了像gensym這樣的東西，而Scheme的易混淆廣泛的syntax-structure類似於讓衛生保持衛生的宏。

盡我所知，這個問題大多是一個稻草人的論點：它只是在較差或較舊的實現中的問題。

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#。