是否可以在将符号传递给 Clojure 中的宏之前将其解析为其值?

Is it possible to resolve a symbol to its value before passing it to macro in Clojure?

假设我有以下关键字数组

(def keys [::description ::url ::mailing-list])

我想在两个规范中重复使用它;一种用于定义映射,另一种用于定义函数的可选参数。

(require '[clojure.spec :as spec])

(spec/def ::project-map
      (spec/keys :opt-un keys))

(spec/def ::project-args
      (spec/keys* :opt-un keys))

然后问题是 keyskeys* 传递给引号 'keys 而不是它所引用的变量中保存的已解析值。

所以我的问题是:是否可以像常见的 lisp #. reader 宏一样在读取时解析键的值,或者是否必须重新定义宏来解析符号如果它得到一个符号而不是列表文字?

你可以用 eval:

构建一个半恶心的解决方案
(spec/def ::project-map
  (eval `(spec/keys :opt-un ~keys)))

(spec/def ::project-args
  (eval `(spec/keys* :opt-un ~keys)))

这是由 mpened 在 clojurians slack 上提出的。

您也可以将它们包装在另一个宏中,因为宏负责如何评估它们的参数。

(defmacro def-both [name name* keys]
  `(do (s/def ~name (s/keys :opt-un ~keys))
       (s/def ~name* (s/keys* :opt-un ~keys))))

(user/def-both ::project-map ::project-args [::description ::url ::mailing-list])

或者你可以这样做:

(spec/def ::project-map (spec/keys ::opt-un ~keys))

可能需要使用限定的命名空间(例如 ::opt-un

spec/def

已经是宏 ;)

我在尝试动态注册规范时遇到了类似的问题。我遇到了麻烦,因为我没有传递文字关键字,所以解决方案是评估宏的参数,然后引用那些:

(def my-key ::this-is-a-test-key)

(defmacro define-spec [spec-key validator]
  (let [local-key (eval spec-key)]
    `(s/def ~local-key ~validator)))

(define-spec my-key int?)

;;testing it
(s/valid? my-key 123)
(s/valid? my-key "ASDASD")

还值得注意的是,在 cljs 中,调用 define-spec 将 return 零,因为 cljs 不支持宏。