¿Qué tiene un solo espacio de nombres que conduce a macros antihigiénicos? (en LISP)

Question

Algunos afirman que un solo espacio de nombres en LISP conduce a macros antihigiénicos. http://community.schemewiki.org/?hygiene-versus-gensym

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

¿Cuál es, precisamente, que trata de tener espacios de nombres individuales, dobles o múltiples que conduce a la higiene macro?

Answer 1

Lisp-2 significa que tiene dos espacios de nombres: uno para las funciones, y otro para las demás cosas.

Esto significa que es menos probable que vuelva a vincular un valor de función (o valor var) en una macro, sin quererlo.

En Lisp-1, dado que hay un espacio de nombres, tiene (estadísticamente, pero no prácticamente) el doble de probabilidades de alcanzar una definición existente.

En realidad, Lisp-1s tiene la higiene cubierta con cosas como gensym y la amplia y confusa variedad de syntax-structure -como las macros que mantienen las cosas higiénicas.

Lo mejor que puedo decir es que el problema es principalmente un argumento del tipo "hombre de paja": es solo un problema en las implementaciones más pobres o antiguas.

Clojure ofrece macros higiénicas a través gensym o el lector macro myvar# (el # es esencialmente gensym).

Y usted no tiene que preocuparse de ámbito local revinculación de su función en sus macros, ya sea: Clojure es todo limpio:

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) 

Y aquí algo de higiene variables:

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" 

Aviso nuestra sexy gensym 'd x#.