Racket 6.5 改善了 Typed Racket，提供更快迭代并添加更多新功能

Ryan Culpepper 在 Racket 博客上宣布，属于 Lisp/Scheme 家族的多范式编程语言 Racket 已经发布了 6.5 版本。这个新版本中添加了许多新功能，包括 typed/untyped 代码之间交互的改进，对哈希表和集合更快的迭代以及更多内容。

Culpepper 提出，如前所述，Racket 6.5 加快了很多渐进类型程序中 typed/untyped 代码之间的交互速度。通过对 Typed Racket 和racket/contract库的改进产生较低开销的代码，实现了这个功能。

现在，当使用 in-hash, in-hash-pairs, in-mutable-hash 和 in-mutable-set 函数时，哈希表和集合可以提供更快的迭代。根据 Culpepper 所述，微基准测试显示现在迭代速度提高了最多 100%。

另外，Racket 优化器检测到更多可优化机会，比如当变量始终用来保存数字的情况下，运行时检查可以省略。

Racket 6.5 的更多变更包括：

• syntax-parse一种用来编写宏命令和特定的语法的领域特定语言，产生更好的诊断结果。
• Contracts 具有更好的覆盖率分析工具以及性能提升。
• 添加了对 MySQL 中多结果语句的支持。

Racket 基于 LGPL 许可证发布，其官方 6.5 版本现在可以下载tarball或是在GitHub上下载。Racket设计目标之一便是为语言的创建、设计和实现提供一个平台。Typed Racket是 Racket 静态类型变更版本，支持 typed 和 untyped 代码可以共存的渐进类型范式。

InfoQ 采访了 Ryan Culpepper 有关于 Racket 6.5 发布的问题。

可以提供 Racket 6.5 中渐进类型改进的更多细节吗？你怎么评价它？

作为Asumu Takikawa研究工作的一部分，他开发了 typed/untyped 交互的度量框架。在 POPL

2016 一篇题为“渐进类型逐渐消失了吗?”的论文中对此进行了描述。自那以后，Sam Tobin-Hochstadt 和其他人一起改进了 Typed Racket 的 contract 生成，Robby Findler 对 contract 库本身进行了改进，并使用度量框架来查看是否还有提升空间，以及测量改进后的效果。如果想了解更多，可以阅读 Takikawa 的文章。

你是 syntax-parse 的编写者。你可以向读者介绍一下它对 Racket 宏系统进行了什么改变以及它给编写宏命令提供了什么方便吗？

Syntax-parse 可以让宏命令编写者写出描述性、模块化的语法规范，包括上下文相关检查。它会自动生成无效使用宏命令的错误提示，宏命令编写者不必再为此烦恼。同时，与 syntax-case 相比它支持更多表达模式以及模板，它还提供了一个“属性”机制，可以让宏命令编写者整合一部分宏命令，根据语法规范生成代码。简言之：给编写好的、健壮的宏命令带来了方便。

查看英文原文：Racket 6.5 Brings Improved Typed Racket, Faster Iteration, and More

感谢张龙对本文的审校。

给 InfoQ 中文站投稿或者参与内容翻译工作，请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博（@InfoQ，@丁晓昀），微信（微信号：InfoQChina）关注我们。