Clojure: postanowienie deklaruje symbol

Question

Otrzymuję dziwne zachowanie podczas sprawdzania, czy symbol może zostać rozwiązany.

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 

Czy ktoś może mi powiedzieć, skąd to może pochodzić? Czy to zachowanie jest zamierzone?

Answer 1

tworzy zmienną o nazwie okw czasie kompilacji. Kompilator skanuje cały formularz, aby go skompilować, odkrywa, że ​​zdefiniujesz zmienną o nazwie ok i utworzy ją dla ciebie (bez wiązania), zanim formularz zostanie faktycznie wykonany. Po wykonaniu formularza def, wartość środowiska wykonawczego tego wyrażenia zostanie przypisana do zmiennej user/ok. W twoim przykładzie tak się nie dzieje, ponieważ var został już utworzony, a gałąź if idzie w drugą stronę.

Używanie jako substytutu jest okropnym pomysłem, ponieważ testuje coś zupełnie innego: czy nazwany var (który musi istnieć) ma powiązanie, stałe lub wątkowo-lokalne.

Answer 2

Ponieważ używam go tylko wewnątrz makra Teraz używam go następująco

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

A teraz to działa od def jest wewnątrz postaci cytowanego i oceniano po determinacji.