reason是 OCaml 的一个新接口，是一种高度表达 ML 语言的方言，具有类型推断和静态类型检查，提供了一个用于编辑，构建和共享代码的新语法和工具链。
具有以下特点：
可以快速掌握
强大的自动源代码格式化
采用 JavaScript / C 互操作增量
没有语言级 VM
快速开发和共享项目
