reason是OCaml的一个新接口，是一种高度表达ML语言的方言，具有类型推断和静态类型检查，提供了一个用于编辑，构建和共享代码的新语法和工具链。