Racket 6.1 发布

  • Sergio De Simone
  • 赵震一

2014 年 8 月 11 日

话题:函数式编程语言 & 开发架构

PLT Design 公司发布了Racket 的 6.1 版,Racket 是一种通用的、属于 Lisp/Scheme 家族的多范式编程语言。Racket 6.1 引入了一种用于处理局部递归变量定义的新方式,以及其他一些新的语言特性。

Racket-lang.org上的Ryan Culpepper 认为,在 Racket v6.1 的新功能中,最主要的创新要数对局部递归变量定义进行处理的新方式。在 6.1 版之前,变量的值都被初始化为 #undefined。而现在 ,变量不会被初始化为任何值,当你尝试在某个变量定义之前访问该变量时,Racket 会抛出一个异常。Ryan 补充到,由于这样一来程序便很少会产生 #undefined,这一变化的目的是为了告诉开发者不应该由于对某个变量的使用不恰当而无意中修改某个程序的语义,从而较早地为开发者提供了有关这方面的改进反馈;除此之外,这种新的行为将与模块级变量现有的约定保持一致,即在变量定义前访问变量时会抛出异常。

新的局部变量定义行为并不向后兼容,它会阻断任何对未定义变量进行不恰当访问的程序,以及像包含如下这一类获取 #undefined 值的代码的程序:

(define undefined (letrec ([x x]) x))

对于现在而言,正确获取 #undefined 值的方式需要通过 racket/undefined 库。

Racket 新版引入的一些其他方面的变化如下所示:

  • Plumbers 为程序员们提供了更多在时间上对 flush 的控制,允许我们通过一个新的函数集来执行任意的 flushing 操作,例如 current-plumber、plumber-add-flush! 和 plumber-flush-all。
  • Contracts 可以很容易地从约定的数据结构实现中找出简单的错误(举个例子,由于不小心,而在堆的不变式检查中写反了某个条件)。
  • 图形库及其依赖(Pango、Cairo 和 Glib 等)在 Windows 和 Mac OS X 上都得到了升级。
  • Openssl 库通过 DHE 和 ECDHE 加密套件支持正向加密以及服务器名字指示 (Server Name Indication)。
  • mzlib/class100 库已由 racket/class 库替代。

Racket(曾经的名字叫做 PLT Scheme)是一门自由通用的、属于 Lisp/Scheme 家族的多范式编程语言,它基于LGPL 许可发布。该语言的设计目标之一便是为语言的创建、设计和实现提供一个平台。该语言被用于各种不同的领域,例如脚本、通用编程、计算机科学教育以及科学研究。

查看英文原文:Racket 6.1 Released

函数式编程语言 & 开发架构