ReScript

定义

ReScript 是一门编译到 JavaScript 的静态强类型编程语言，2020 年由 BuckleScript 编译器与 Reason 语法合流更名而来，类型系统源自 OCaml。

特点

ReScript 提供接近 JavaScript 的花括号语法，同时保留 OCaml 级别的类型推断：几乎不写类型标注也能获得全程序类型检查，且承诺无 any 逃逸。编译速度极快，生成的 JavaScript 接近手写风格，便于审阅和渐进接入现有工程。语言内建变体类型（variant）、模式匹配、不可变数据等函数式设施，并对 React 提供一等支持（原 ReasonReact）。

与 TypeScript 的对比

TypeScript 追求兼容 JavaScript 全部语义，类型系统存在妥协；ReScript 选择更严格的语义子集，换取更强的类型可靠性。

应用

多用于对类型安全要求较高的前端与全栈 JavaScript 项目。