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 的语法有点不太友好。
