在 clojure 语言中 <'a> 到底是什么答案

【问题标题】：in clojure language what <'a> really is在 clojure 语言中 <'a> 到底是什么
【发布时间】：2014-01-23 17:26:39
【问题描述】：

实际上我正在尝试完全理解 clojure，尤其是符号

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

我知道type 是一个函数，所以它的参数首先被评估，所以我完全理解为什么上面的代码会这样工作。在流动的代码中，我决定使用宏来延迟评估

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

我对此很好，但我无法理解的是：

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

为什么 'a 的类型是缺点

【问题讨论】：

【解决方案1】：

字符 ' 被 clojure 阅读器解释为一个阅读器宏，它扩展为包含符号 quote 后跟 ' 的任何内容的列表，因此在您对 (m-type 'a) 的调用中 'a 扩展为：

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

然后调用列表中的类型(quote a)，这是一个缺点。

如果我们让 m-type 宏在评估时打印参数，这可能会更清楚一点：

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

【讨论】：