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

栏目: 编程语言 · Clojure · 发布时间: 5年前

内容简介:正如考虑到之前其它的合同系统(contract systems)所做的工作,比如说在

正如 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上,你仍然需要安装 LeiningenBoot

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


以上所述就是小编给大家介绍的《Clojure 1.9引入Spec和更多语言特性》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

宇宙涟漪中的孩子

宇宙涟漪中的孩子

谢云宁 / 四川科学技术出版社 / 2017-11 / 28.00元

近未来。日冕科技公司通过建造围绕太阳的光幕搜集了近乎无穷的能源,这些能源主要用于地球上的网络空间建设。随着全球网络时间频率的不断提升,越来越多的人选择接驳进虚拟空间,体验现实中难以经历的丰富人生。 网络互动小说作者宁天穹一直自认为是这些人中普通的一员,有一天却被一名读者带进反抗组织,了解到日冕公司的各种秘密,并被告知自己的小说将在抵抗运动中起到重要作用。 起初他拒绝参与,但看到地球被笼......一起来看看 《宇宙涟漪中的孩子》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

Markdown 在线编辑器
Markdown 在线编辑器

Markdown 在线编辑器

正则表达式在线测试
正则表达式在线测试

正则表达式在线测试