# ReasonML vs Idris 这两门语言定位差异很大,选择取决于你的目标: ## ReasonML(现在主推 ReScript) **定位**:实用主义的前端/全栈开发 - OCaml 的另一种语法,对 JavaScript 开发者友好 - 编译到 JS,与 React 生态深度集成(React 本身作者创造的) - 类型推断强大,但类型系统是"够用就好" - **适合**:想写