BT

你的观点很重要! 快来参与InfoQ调研吧!

Core.Typed 为Clojure添加了可选的类型系统

| 作者 Mirko Stocker 关注 0 他的粉丝 ,译者 孙镜涛 关注 0 他的粉丝 发布于 2013年10月18日. 估计阅读时间: 5 分钟 | ArchSummit社交架构图谱:Facebook、Snapchat、Tumblr等背后的核心技术

Core.typed向动态类型Clojure中添加了一个可选的类型系统。它的目标是做到两全其美:即具有Clojure的简洁性和灵活性又能获得类型检查语言所具有的安全保证。因为这个类型系统是可选的,所以你可以在它能够提供最大价值的地方逐步地使用它。core.typed 的用户手册中提到:

如果给类型加上合适的文档说明,那么它就是一个非常好的机器可检查的文档。它们永远都不会过时并且通常是非常重要的,因为它能够快速地提醒用户函数的功能。

在程序发展的时候类型化是有用的,特别是有多个贡献者的时候。如果一个贡献通过了类型系统,我们就知道它是类型正确的(类型错误几乎是最常见的用户编程错误)。

Core.typed能够通过类型推理功能自动地为你指出很多类型,var变量、函数参数和一些宏需要显式的类型注解,你还能够注解协议和数据类型。例如,一个求和函数的注解可能是这样的:

(ann add [Number Number -> Number])
(defn add [a b]
  (+ a b))

因为类型声明和实现是分离的,所以你能够很容易地向第三方代码中添加类型注解,就像 clojure.core这里所实现的那样。

core.typed的作者Ambrose Bonnaire-Sergeant说,当前的0.2版本已经做好了产品化的准备,这意味着它“能够找到真实代码中的bug,并且不会让你已有的代码慢下来”。API现在也应该稳定了。

InfoQ 与Ambrose进行了一次谈话以便于了解他是如何开始core.typed的:

该项目开始是我在西澳大利亚大学计算机科学学士的本科荣誉项目。我受到了Sam Tobin-Hochstadt类型化Racket的启发,它也是类型化Clojure内部很多理论和实现的源泉【编辑注释:类型化Clojure是core.typed之前的名称】。

InfoQ: 谈到验证,在core.typed中有很多单元测试。你还正式地验证你的类型检测器吗?(我假定core.typed使用了core.typed?)

我相信所有的项目都将从验证技术的结合中受益。Core.typed主要使用了单元测试验证,但是我也已经开始了类型检查实现。类型检测器具有广泛的适应性,它甚至能够静态地验证与使用其他验证技术相关的属性。例如,如果core.typed和Prismatic 架构互相了解,那么core.typed就能够检查你的运行时测试架构是否能够充分地避免类型错误。

类型化 Clojure在编译时能够检查的一些更加有趣的属性包括没有空指针异常正确的Java互操作不可变绑定的正确使用

具备良好测试覆盖率的类型检查代码体在寻找bug的时候并不是必须的,但是我发现将无类型代码转换成有类型代码的过程类似于代码审查。

InfoQ: 对于Scala程序员而言,有一些类型名称可能看起来很熟悉。Scala也具有局部类型推理,那么Scala对core.typed有什么影响么?类型系统能够很好地测量出代码的复杂度:如果你的类型是巨大且凌乱的,那么可能有重构的机会。因为凌乱的类型通常意味着凌乱的逻辑。

确实有一些影响。类型化Clojure接口能够和Java代码友好相处,比较一下Scala是如何处理Java类型系统中的一些怪癖是非常有用的,例如数组协变和空指针。

还有一点点嫉妒Scala:Odersky的彩色局部类型推理(Colored Local Type Inference)就是局部类型推理的一个非常好的扩展,它允许Scala程序员省略某些注解。类型化Clojure和类型化Racket使用了另一种方式扩展局部类型推理,但是我们总是关注于使用像彩色局部类型推理这样的扩展去避免某些不必要的注解

InfoQ: Clojure社区的反馈如何?

对于社区的反应我一直都非常高兴。我认为这表明Clojure程序员在构建Clojure程序的时候一直都在渴望一个强大的、完全可选的类型系统。

InfoQ: 你下一个版本的计划是什么?

作为全职类型化Clojure开发集资项目的一部分,我已经列举了我接下来的计划。

我希望尽快完成的变化包括:支持将Clojurescript作为类型检查的目标,能够基于静态类型生成运行时契约,实现自托管的Clojure编译器并推出类型化Clojure能够满足的边界

如果想进一步地了解与core.typed相关的信息,那么可以访问项目网站,或者看看这个工作室记录。如果你喜欢core.typed,不要忘记支持Ambrose的 资金募集计划

查看英文原文Core.Typed Adds an Optional Type System to Clojure

评价本文

专业度
风格

您好,朋友!

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

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的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通知我

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

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

讨论

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT