Facebook试图通过Reason将OCaml的安全性和运行速度带给JavaScript开发人员。该语言达到了3.0版本，引入了新的语法，修复了许多Bug。

Reason语法其中一个最显著的变化是使用JavaScript的application/abstraction语法代替了OCaml的语法。这意味着，在Reason 3中，开发人员在调用函数时可以像在JavaScript中那样把两个参数括起来：

myFunction(arg1, arg2) // 类似C语法的新语法myFunction arg1 arg2 // 类似OCaml语法的旧语法

其他值得注意的变化有：

使用{.}声明JavaScript对象类型的新语法，例如：

type payload = {. // no need to call Js.t here "name": string, "age": int};

使用标签参数扩展了对类型双关的支持，新语法使用~代替了::。开发人员可以像下面这样声明并调用带有标签参数的函数：

let addCoordinates = (~x, ~y) => { /* 使用 x 和 y */ };...addCoordinates(~x=5, ~y=6);

可以和以前的语法作下比较：

let addCoordinates x::x y::y => {/* 使用 x 和 y */};...addCoordinates x::5 y::6;

此外，类型双关（如上例所示，允许开发人员使用~x代替更为繁琐的~x as x）应该和类型注解一起使用，这在以前是不支持的：

let add = (~first: int, ~second: int) : int => first + second;

字符串连接现在可以使用++操作符代替^了。

逻辑非使用！代替了not。

已经有Reason代码库的开发人员不必担心这种程度的语法变化，这主要是为了让JavaScript开发人员感觉更自然。其实，Reason 3提供了迁移脚本，可以确保过渡比较容易。

Reason另一个大有前途的新特性是提供了正式的API，让开发人员可以访问Reason解析器refmt。Klipse、reason-tools、Reason文档站点等工具都是基于该解析器的。

Reason是Facebook试图将OCaml可靠的类型系统带到JavaScript开发环境的产物。它以BuckleScript为核心，提供了迎合JavaScript编程人员喜好的语法，因为他们可以会认为OCaml的语法有点不太友好。

查看英文原文： Facebook Overhauls ReasonML Syntax in Reason 3