Clojure 1.9引入Spec和更多语言特性

正如 InfoQ之前报道的 ， 最近发布的Colojure 1.9 中最有趣的新特性是 Spec ，它为数据和函数的规范和测试提供了一个标准化集成系统。

考虑到之前其它的合同系统（contract systems）所做的工作，比如说 Racket ，Spec的目标是使Clojure代码的自动验证成为可能，同时还要支持其它功能，比如生成测试、错误报告、代码析构等等。下面这个例子向你展示了你该如何通过使用 spec/keys 来规范化一个 map ：

(spec/keys :req [::x ::y (or ::secret (and ::user ::pwd))]
           :opt [::z])

在 map 规范中使用的key在某种程度上让人想起了在其他语言中受歧视的union标签，因为在全局的命名空间中定义了它们的类型：

(spec/def ::x integer?)
(spec/def ::y integer?)
(spec/def ::z integer?)
(spec/def ::secret string?)

这就意味着，在同一模块中定义的任何 map 中，相同的类型规范都会被应用到出现的给定key上。如果您想要使用在不同命名空间中定义的key，那么可以使用新的map命名空间语法：

#:types{ :x 1
         :y 2
         :secret "xyz" }

这会被解释为：

{ :types/x 1
  :types/y 2
  :types/secret "xyz }

虽然现在Clojure 1.9是一个稳定版本，但是Spec仍然处于alpha测试阶段，并且要使用它必须要引入相应的库文件。处于alpha阶段意味着不能保证其API的兼容性。

为了提升Spec的表达能力，Clojure 1.9提供了许多新的断言（predicates），包括 boolean? 、 double? 、 simple-symbol 等等。在编程语言方面， clojure.core 引入了下列新的函数：

• bounded-count ：它能够对集合中的元素进行计数，并且不需要在集合边界外进行实现。
• swap-vals! 和 reset-vals! ：这是两个新的原子（atomic）函数，它们能够返回旧的和新的数值。
• halt-when ：它是一个 transducer （推导式），当给定的断言（predicates）被满足时会结束推导。

Clojure 1.9还引入了许多性能的提升，包括对 seq 的优化以及析构、通过对派生类的缓存加速编译等等。

在Mac上可以通过 brew 来安装Clojure 1.9，在 Linux 可以用安装脚本进行安装。在Windows上，你仍然需要安装 Leiningen 或 Boot 。

查看英文原文： Clojure 1.9 Brings Spec and More Language Features