具有非关键字键的映射的 Clojure 规范

Question

让我们看看 Leiningen 项目地图的真实示例 :global-vars:

 ;; Sets the values of global vars within Clojure. This example
 ;; disables all pre- and post-conditions and emits warnings on
 ;; reflective calls. See the Clojure documentation for the list of
 ;; valid global variables to set (and their meaningful values).
 :global-vars {*warn-on-reflection* true
               *assert* false}

它允许leiningen的用户重新定义默认值 Clojures 项目范围内的全局变量。

现在，如果此映射的键由关键字组成，我们将使用 clojure.spec/keys 首先指定哪些键可以成为映射的一部分，然后分别定义这些键下的预期值。但是由于 clojure.spec/keys 默默地忽略了 :req 和 :req-un 中的非关键字并抛出 :opt 和 :opt-un 的异常（从 alpha15 开始）我们将不得不以某种方式解决这个问题。

我们可以通过

获取大部分全局变量的类型

(for [[sym varr] (ns-publics 'clojure.core)
      :when (re-matches #"\*.+\*" (name sym))]
  [varr (type @varr)])
  =>
[*print-namespace-maps*     java.lang.Boolean]
[*source-path*              java.lang.String]
[*command-line-args*        clojure.lang.ArraySeq]
[*read-eval*                java.lang.Boolean]
[*verbose-defrecords*       java.lang.Boolean]
[*print-level*              nil]
[*suppress-read*            nil]
[*print-length*             nil]
[*file*                     java.lang.String]
[*use-context-classloader*  java.lang.Boolean]
[*err*                      java.io.PrintWriter]
[*default-data-reader-fn*   nil]
[*allow-unresolved-vars*    java.lang.Boolean]
[*print-meta*               java.lang.Boolean]
[*compile-files*            java.lang.Boolean]
[*math-context*             nil]
[*data-readers*             clojure.lang.PersistentArrayMap]
[*clojure-version*          clojure.lang.PersistentArrayMap]
[*unchecked-math*           java.lang.Boolean]
[*out*                      java.io.PrintWriter]
[*warn-on-reflection*       nil]
[*compile-path*             java.lang.String]
[*in*                       clojure.lang.LineNumberingPushbackReader]
[*ns*                       clojure.lang.Namespace]
[*assert*                   java.lang.Boolean]
[*print-readably*           java.lang.Boolean]
[*flush-on-newline*         java.lang.Boolean]
[*agent*                    nil]
[*fn-loader*                nil]
[*compiler-options*         nil]
[*print-dup*                java.lang.Boolean]

剩下的我们可以通过阅读文档来填写。但我要问你的问题是：我们如何编写一个规范来确保如果映射包含键 '*assert* 它将只包含布尔值？

Answer 1

仅供参考，目前没有计划在 s/keys 中支持非关键字键。

有几种方法可以做到这一点（一种是在验证之前或在领先的符合者中做类似 clojure.walk/keywordize-keys 的事情，然后使用 s/keys）。

另一种方法是将地图视为地图条目元组的集合（一些宏可以大大清理它）：

(defn warn-on-reflection? [s] #(= % '*warn-on-reflection*))
(s/def ::warn-on-reflection (s/tuple warn-on-reflection? boolean?))
(defn assert? [s] #(= % '*assert*))
(s/def ::assert (s/tuple assert? boolean?))

(s/def ::global-vars
  (s/coll-of (s/or :wor ::warn-on-reflection, :assert ::assert) :kind map?))

最后，尝试 s/multi-spec 可能比上面的 s/or 更有趣 - 这将使它成为一个开放规范，可以在以后添加。以某种方式，开放此规范可能很有用（因此也接受 (s/tuple any? any?) - 因为将来可能会添加新内容或未在此处列出（例如，也有来自其他名称空间的动态变量).

此外，请注意这些的一些属性规范。例如，*unchecked-math* 被视为逻辑真值，特别是采用逻辑真值 :warn-on-boxed，但也会触发额外的行为。

具有非关键字键的映射的 Clojure 规范

Clojure Spec for a map with non-keyword keys

clojure

clojure.spec