reason是 OCaml 的一个新接口,是一种高度表达 ML 语言的方言

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