Racket 6.1发布

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。\\t
• Contracts 可以很容易地从约定的数据结构实现中找出简单的错误（举个例子，由于不小心，而在堆的不变式检查中写反了某个条件）。\\t
• 图形库及其依赖（Pango、Cairo和Glib等）在Windows 和 Mac OS X上都得到了升级。\\t
• Openssl库通过DHE和ECDHE加密套件支持正向加密以及服务器名字指示(Server Name Indication)。\\t
• mzlib/class100 库已由racket/class库替代。\

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

\\

查看英文原文：Racket 6.1 Released