Clojure: разрешение объявляет символ

Question

Я получаю какое-то странное поведение при проверке, разрешен ли символ.

user=> ok 
CompilerException java.lang.RuntimeException: Unable to resolve symbol: ok in this context, compiling:(NO_SOURCE_PATH:0) 
user=> (resolve 'ok) 
nil 
user=> (if (resolve 'ok) "bla" (def ok 'ok)) 
"bla" 
user=> ok 
#<Unbound Unbound: #'user/ok> 
user=> (def ok 'ok) 
#'user/ok 
user=> ok 
ok 

Может ли кто-нибудь сказать мне, откуда это может произойти? Предполагается ли это поведение?

Answer 1

(def ok "whatever") создает переменную с именем okво время компиляции. Компилятор просматривает всю форму для ее компиляции, обнаруживает, что вы будете определять переменную с именем ok и создает ее для вас (без привязки) до того, как ваша форма будет фактически выполнена. Когда форма def фактически выполняется, значение времени выполнения выражения будет присвоено переменной var user/ok. В вашем примере это никогда не происходит, потому что var уже создан, а ветка if идет в другую сторону.

Использование bound? в качестве замены - страшная идея, поскольку она проверяет что-то совсем другое: имеет ли названный var (который должен существовать) связывание, постоянное или поточно-локальное.

Answer 2

Так как я только использовать его внутри макроса я теперь использовать его следующим образ

(defmacro bla [x] 
    (if (resolve x) x `(def ~x '~x))) 

И теперь он работает с Защитой внутри цитируемой формы и оценивала после решимости.