正如 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])
在
规范中使用的 key 在某种程度上让人想起了在其他语言中受歧视的 union 标签,因为在全局的命名空间中定义了它们的类型:
- map
- (spec/def ::x integer?)
- (spec/def ::y integer?)
- (spec/def ::z integer?)
- (spec/def ::secret string?)
这就意味着,在同一模块中定义的任何
中,相同的类型规范都会被应用到出现的给定 key 上。如果您想要使用在不同命名空间中定义的 key,那么可以使用新的 map 命名空间语法:
- 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!
:这是两个新的原子(atomic)函数,它们能够返回旧的和新的数值。
- reset-vals!
:它是一个 transducer (推导式),当给定的断言(predicates)被满足时会结束推导。
- halt-when
Clojure 1.9 还引入了许多性能的提升,包括对
的优化以及析构、通过对派生类的缓存加速编译等等。
- seq
在 Mac 上可以通过
来安装 Clojure 1.9,在 Linux 可以用安装脚本进行安装。在 Windows 上,你仍然需要安装 Leiningen 或 Boot 。
- brew
来源: http://www.tuicool.com/articles/26zQber