地图及其值的 clojure 规范

Question

我正在使用 Clojure 来实现（书面的）标准文档。总的来说，我对 Clojure 允许我编写符合标准不同部分的代码的方式感到满意。着眼于未来，我正在尝试为它写一个 clojure.spec。在文档中，他们定义了具有命名字段的各种结构化数据元素。然而，不同结构中的字段具有相同的名称，例如 'red' 结构有一个 'value' 字段，它是一个字符串，但 'blue' 结构有一个 'value' 字段，它是一个整数。在编写规范时我该如何处理？

(s/def ::value ???)
(s/def ::red (s/keys :req [::value ...]))
(s/def ::blue (s/keys :req [::value ...]))

据我了解，official advice 命名键应该在任何地方都具有相同的语义。

我应该如何处理这个问题？我可以称它们为 'red-value' 和 'blue-value' 但这使得代码和标准之间的对应关系不太清楚。我可以将每个结构都放在自己的命名空间中吗？

Answer 1

您的示例对所有规范名称使用当前命名空间，但您应该利用命名空间来消除名称歧义。

(s/def ::red (s/keys :req [:red/value ...]))
(s/def ::blue (s/keys :req [:blue/value ...]))

您可以将这些规范与地图一起使用，例如：

(s/valid? ::red {:red/value "foo"})
(s/valid? ::blue {:blue/value 100})

此外，s/keys 支持 :req-un 选项 link 命名规范到不合格的属性名称，如果这是你必须使用的。

(s/def ::red (s/keys :req-un [:red/value ...]))
(s/def ::blue (s/keys :req-un [:blue/value ...]))

您可以使用以下值进行验证：

(s/valid? ::red {:value "foo"})
(s/valid? ::blue {:value 100})

地图及其值的 clojure 规范

clojure specs for maps and their values

clojure

clojure.spec