Question

撰写this answer后，我受到启发，尝试使用Clojure's destructuring language指定spec：

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

(s/def ::binding (s/or :sym ::sym :assoc ::assoc :seq ::seq))

(s/def ::sym (s/and simple-symbol? (complement #{'&})))

顺序解构部分很容易用正则表达式进行规范（所以我在这里忽略它），但我陷入了联想解构。最基本的情况是从绑定表单到关键表达式的映射：

(s/def ::mappings (s/map-of ::binding ::s/any :conform-keys true))

但是Clojure也提供了几个特殊键：

(s/def ::as ::sym)
(s/def ::or ::mappings)

(s/def ::ident-vec (s/coll-of ident? :kind vector?))
(s/def ::keys ::ident-vec)
(s/def ::strs ::ident-vec)
(s/def ::syms ::ident-vec)

(s/def ::opts (s/keys :opt-un [::as ::or ::keys ::strs ::syms]))

如何为可以通过将符合::assoc的地图和符合::mappings的地图合并在一起创建的地图创建::opts规范？我知道有merge：

(s/def ::assoc (s/merge ::opts ::mappings))

但这不起作用，因为merge基本上是and的类似物。我正在寻找类似于or的东西，但是对于地图。

Answer 1

您可以使用地图的analysis_status.php和s/merge s/keys来定义混合地图作为元组。这是一个更简单的例子：

s/every

这种简单的配方比conformer方法有几个好处。最重要的是，它说明了事实。此外，它应该无需进一步努力即可生成，符合和不成形。

Answer 2

您可以使用s/conformer作为s/and中的中间步骤，将地图转换为易于验证的形式：

(s/def ::assoc
  (s/and
    map?
    (s/conformer #(array-map
                    ::mappings (dissoc % :as :or :keys :strs :syms)
                    ::opts     (select-keys % [:as :or :keys :strs :syms])))
    (s/keys :opt [::mappings ::opts])))

那会让你从例如

{ key :key
  :as name }

到

{ ::mappings { key :key }
  ::opts     { :as name } }

我如何规划混合地图？

2 个答案: