in clojure Sprache <'a> wirklich, was ist

Question

i tatsächlich clojure und insbesondere Symbole

(def a 1) 
(type a) 
;;=>java.lang.Long 
(type 'a) 
;;=>clojure.lang.Symbol 

Ich weiß, perfekt zu verstehen versuche, dass type eine Funktion ist, so erhalten ausgewertet seine Argumente zuerst, damit ich vollkommen verstehen, warum der Code über Arbeit auf diese Weise .In den fließenden Code habe ich beschlossen, mit, dass die Auswertung unter Verwendung des Makro

(defmacro m-type [x] (type x)) 
(m-type a) 
;;==>clojure.lang.Symbol 

, und ich bin in Ordnung zu verzögern, aber ich kann nicht, was uderstand ist dies:

(m-type 'a) 
;;=>clojure.lang.Cons 

, warum die Art von ‚a a cons ist

Answer 1

das Zeichen‘ durch den clojure Leser als Leser-Makro, das auf eine Liste erweitert interpretiert wird das Symbol quote enthält, gefolgt von was auch immer folgt die‘, so in Ihren Anruf (m-type 'a) die 'a expandiert zu:

user> (macroexpand-1 ''a) 
(quote a) 

dann ruft Typ auf der Liste (quote a) die ein Cons ist.

Dies kann ein bisschen mehr klar sein, wenn wir den m-Typ Makro-Druck die Argumente machen, wie es sie sieht, während er die Bewertung:

user> (defmacro m-type [x] (println "x is " x) (type x)) 
#'user/m-type 
user> (m-type 'a) 
x is (quote a) 
clojure.lang.Cons