用clojure.spec进行解析

Question

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

考虑以下数据：

(def data {:names [["Anna"      :lucky]
                   ["Peter"]
                   ["Jon"       :lucky]
                   ["Andre"     :lucky]]})

它是一个带有一个键的散列映射:具有向量向量值的名称。内部向量必须包含一个字符串作为第一个元素，并且可以选择地包含关键字:幸运作为第二个元素。

前两句应该用clojure.spec来描述--让我们从向量中的项目开始：

(s/def ::item (s/cat :name string? :lucky (s/? #(= :lucky %))))

(s/conform ::item ["Tom"])
;; {:name "Tom"}
(s/conform ::item ["Tom" :lucky])
;; {:name "Tom", :lucky :lucky}
(s/conform ::item ["Tom" :sad])
;; :clojure.spec/invalid

这个很管用。然而，如果只有一个选择。分析后的结果会不会像这样更好：

`{:name "Tom", :lucky true}` or `{:name "Tom", :lucky false}`

这能在clojure.spec中完成吗？

有了这一点，我们可以继续：

(s/def ::items (s/coll-of ::item '()))

(s/conform ::items [["Tom" :lucky] ["Tim"]])
[["Tom" :lucky] ["Tim"]]

但是，看起来它似乎通过了测试，但是为什么不再解析这些项？

编辑：这个问题可以通过从alpha7切换到alpha10发布来解决，其中coll-of只需要一个参数

最后，我的规范看起来很像，有前面描述过的警告：

(s/def ::my-spec (s/keys req-un [::items]))

Answer 1

spec不是为提供任意数据转换而设计的(Clojure的核心库可用于此)。

可以使用s/conformer实现这一点，但不建议将该特性用于这样的任意转换(它更适合构建自定义规范)。