BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

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

| 作者 Sergio De Simone 关注 14 他的粉丝 ,译者 罗远航 关注 1 他的粉丝 发布于 2017年12月15日. 估计阅读时间: 3 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

正如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

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

good by yunhao good

good

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

1 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT