clojure - 如何不混淆指定映射的键集和值集？

Question

Clojure 官方规范文档指出:

Most systems for specifying structures conflate the specification of the key set (e.g. of keys in a map, fields in an object) with the specification of the values designated by those keys. I.e. in such approaches the schema for a map might say :a-key’s type is x-type and :b-key’s type is y-type. This is a major source of rigidity and redundancy.

在这个问题中:clojure.spec human readable shape?

给出以下示例:

(s/def ::car (s/keys :req [::tires ::chassis]))

(s/def ::tires (s/coll-of ::tire :count 4))

(s/def ::tire (s/or :goodyear ::goodyear}
                    :michelin ::michelin))

我的问题是:这怎么不僵硬也不多余？与此相反，什么是僵化和冗余的例子(在 Java 中？)？

据我所知，您仍然无法定义一辆汽车，比如说，有 6 个轮子的高速赛车，因为 ::tires 必须有 4 个元素。您无法定义后轮为螺旋桨的 float 汽车。

从刚性和冗余的角度来看，上面的示例与静态类型有何不同？这与使用本身包含四个 tire 实例的 tires 实例构造的 Java car 类有何不同？

基本上我认为我不明白的是你通过告诉需要哪些键来指定 map 。到目前为止，一切都很好。但是键本身是指定的，所以这些键指定的值也被指定了!？这里的事情如何“不混淆”？

Answer 1

暂时将范围缩小，将软件开发视为一种实践。我们将在底部了解规范。

作为工程师，我们最重要的技能之一是抽象定义和思考的能力。

思考一下函数组合如何简化复杂软件的构建。它允许我们更广泛地思考正在发生的事情，从而简化了复杂函数的定义。这样做的一个好处是，在编写类似但略有不同的复杂函数时，它还允许重用组成较大函数的较小函数。

当然，您根本不需要函数。您可以在一个函数中编写整个项目。然而，这是一个坏主意，主要是因为它将函数的意图与函数的规范混为一谈。

例如，函数make-car调用build-engine、build-drivetrain、install-interior，还有更多。当然，您可以从每个代码中获取代码并将它们粘贴到 make-car 中。但结果是你失去了抽象。除了 make-car 代码本身之外，无法改进或更改 make-car。如何构建发动机的代码无法改进或重复用于制造任何其他汽车。为什么？因为如何为特定汽车规范构建该引擎的知识嵌入在make-car函数中。

因此，make-car 不应该定义如何构建引擎(或汽车的任何其他组件)；它只是指定了汽车的组成部分以及它们如何协同工作。这些组件的细节不属于 make-car 中嵌入的工作知识。

与规范的比较现在应该很清楚:

以类似的方式，规范允许您将实体定义为抽象。您能否将实体的知识嵌入到规范/模式中？当然。您可以直接将各个组件的规范替换为实体定义本身吗？是的。但这样做时，您将实体与其组件的定义混为一谈。损失与上述相同:您失去了实体是什么的抽象，因为现在您必须更改实体的定义才能更改有关实体的详细信息，这些细节实际上是实体的详细信息它的组成部分；并且，您已经失去了对相似但不同的实体重用定义的能力。