背景引见

从有前端到现在，JavaScript 言语一向都是完成前端逻辑的首选。然则，由于 JavaScript 是一个弱范例言语，很难举行相干的范例检测。因而在构建大型运用时，运用 JavaScript 难免会碰到一些隐式范例转换等相干的题目，从而致使顺序的 bug。

在当前的挑选中，有两个派别，都能够处理 JavaScript 弱范例言语带来的弊端，给前端带来强范例言语的支撑。

• 第一个是 Facebook 提出的 Flow——这个的长处在于我们能够在不对现有代码举行任何革新的状况下，为现有的代码增添一个静态范例检测器，从而防止由于范例转换等题目带来的 bug。

• 第二个是以微软开辟的 TypeScript 为首的前端新强范例言语——这类言语的上风是从根本上支撑了强范例言语，能够在编译时经由过程范例推导与揣摸来从根本上处理范例转换题目，束缚开辟模子。然则，这类言语的瑕玷也异常显著，假如须要支撑相干的范例检测和推导，那末就须要对原有的代码举行革新，必定会消费肯定的人力。在强范例言语中，也分为了两种范例。

  • 第一种是 TypeScript 这类对 JavaScript 兼容的言语——正如前面所说，TypeScript 的上风在于：它能够完整兼容 JavaScript 言语。细致是什么意义呢，就是说你的代码能够是部份 TypeScript 言语，部份 JavaScript 言语的。TypeScript 的代码能够挪用 JavaScript 的代码，同时反过来也能够建立；瑕玷也是由于对 JavaScript 的兼容：由于须要完整兼容 JavaScript，因而它没有办法舍弃一些 JavaScript 中的一些缺点。
  • 第二种则是我们在本文中须要引见的 ReasonML ，这类对 JavaScript 不兼容的言语——与第一种完整相反，由于不须要兼容 JavaScript，我们能够完整舍弃 JavaScript 的缺点，用一套新的语法划定规矩来完成我们的需求；然则，由于不兼容 JavaScript 言语，因而我们在开辟时只能从头开始举行项目的开辟，也不能充分发挥 JavaScript 生态带来的上风。

作为近来被人人关注的越来越多的强范例言语，ReasonML 的生长也是须要我们延续关注的。

ReasonML 劈头

说了这么多背景，我们来正式引见下 ReasonML 这门言语。起首，让我们来看下官网关于 ReasonML 的引见。

Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.

Reason运用 JavaScript 和 OCaml 言语的生态，让你编写简朴、疾速和高质量范例平安的代码。

从这个引见中我们能够晓得， ReasonML 是从 OCaml 言语衍生出来的，能够支撑 JavaScript 的新的强范例言语。首页引见中，还提到了这个言语的三个特性：

• 无争辩的范例体系（Types without hassle），有用、平安的范例推论意味着你很少须要举行范例解释，然则它能够帮你搜检一切内容的范例。
• 简朴的 JavaScript 交互（Easy JavaScript interop），能够没有任何贫苦的运用 NPM/Yarn 中的包，或许在你进修的时刻，你以至能够运用一小段 JavaScript。
• 天真风趣（Flexible & Fun），适用于网站、动画、游戏、效劳、脚手架东西等。经由过程这些例子我们就能够获得灵感。

ReasonML 入门引见

听了这么多关于 ReasonML 的引见，我们来简朴的看下相干的语法。经由过程相干的语法和示例，我们能够协助我们更好的明白这门言语。

我们就运用官方的一些简朴的示例来疾速入门这个言语。

装置与编译

由于现在浏览器没法直接辨认强范例言语，因而我们须要经由过程编译器，将强范例言语编译成 JavaScript 今后才能够在前端浏览器或许 Node.js 中运转。

起首，我们来看下怎样举行装置：

npm install -g bs-platform

起首，我们经由过程 NPM 来对编译平台 bs-platform 举行全局装置，装置完成后，我们就能够运用这个 cli 自带的敕令了。

装置完成后，我们须要初始化一个项目，因而我们须要实行以下敕令：

bsb -init my-new-project -theme basic-reason

经由过程这个敕令，我们就创建了一个名字为 my-new-project 的项目文件了。

这个时刻，我们进入这个项目文件夹中，看看这内里究竟初始化了哪些东西。起首我们来看下 package.json 文件。

{
  "name": "my-new-project",
  "version": "0.1.0",
  "scripts": {
    "build": "bsb -make-world",
    "start": "bsb -make-world -w",
    "clean": "bsb -clean-world"
  },
  "keywords": [
    "BuckleScript"
  ],
  "author": "",
  "license": "MIT",
  "devDependencies": {
    "bs-platform": "^4.0.18"
  }
}

接下来，我们先来看下 src/Demo.re 文件的内容。

Js.log("Hello, BuckleScript and Reason!");

我们须要重点关注的就是，我们能够经由过程 npm run build 敕令来编译全部项目，它会将 src/Demo.re 编译成 src/Demo.re.js 文件。让我们来看下编译出来的内容是什么模样的。

// Generated by BUCKLESCRIPT VERSION 4.0.18, PLEASE EDIT WITH CARE
'use strict';


console.log("Hello, BuckleScript and Reason!");

/*  Not a pure module */

人人能够看到，我们经由过程 ReasonML 的编译器，将 ReasonML 的代码编译成了 JavaScript。

语法引见

说完了构建编译相干的流程，我们来正式看下 ReasonML 这门言语的语法。

ReasonML 的范例体系能够自动举行范例揣摸，在本文引见中我会尽量细致的举行引见，然则假如没有声明细致范例，人人能够自立举行揣摸。

我们能够经由过程下面这个表格来疾速看下当前的数据构造：

这内里有一些内容须要细致引见下差别。

• 字符与字符串。在 ReasonML 中，字符与字符串分别是用单引号和双引号来举行示意，而不是一致认为是字符串，单双引号通用。
• 浅比较和深比较。在 JavaScript 中，== 和 === 关于对象和数组之类的变量来讲，都是举行地点的比较。而在 ReasonML 中，我们能够在运算符中完成深比较。

• 不可变列表与数组。在 JavaScript 中，数组能够存储恣意范例的内容。而在 ReasonML 中，涌现了一个不可变列表，只能存储同一种数据范例（比方全部都是整型数字），并且是不可变数据范例。ReasonML 的数组是一个可变数据范例，然则依然只能存储同一种数据范例。假如须要完成存储差别的数据范例，则须要运用元组（Tuple）——一个不可变的有序范例，细致代码以下：

  let ageAndName = (24, "Lil' Reason");

• 对象与纪录。在 ReasonML 中，涌现了对象和纪录两种相似的数据范例，我们来看下二者的区分。纪录是一个须要提早声明的默许不可变的数据构造，在 ReasonML 中引荐运用。而在 ReasonML 的对象，则是一个不须要提早声明的数据构造。不过在 ReasonML 中，引荐优先运用纪录。

关于语法相干的内容，我只是简朴引见了一下中心的数据构造，有很多内容没有引见到，假如人人想要体系的进修 ReasonML 的话，能够看一下官方文档。

与 JavaScript 兼容体式格局

假如我们须要在 ReasonML 中运用 JavaScript 代码，我们能够根据以下的要领：

[%bs.raw {| console.log('here is some javascript for you') |}];

上面的代码经由编译后，能够获得以下的 JavaScript 代码。

'use strict';
console.log('here is some javascript for you');

这个要领与全局注入变量的体式格局相似，会直接将上述代码替换成编译后的 JavaScript 代码。因而我们能够这么用：

let x = [%bs.raw {| 'here is a string from javascript' |}];

获得的代码为：

var x = ( 'here is a string from javascript' );

与 JavaScript 语法差别

很多的语法差别我们在上述语法引见中都已引见过了，假如须要细致的比对，能够看官方文档中的语法比较。

总结

ReasonML 是一门比 TypeScript 束缚严厉的多的强范例言语（TypeScript 编译报错能够挑选疏忽掉，不影响运用）。强范例言语关于大型的项目开辟来讲，确切能够带来显著的上风。然则，我们能不能够大规模运用 ReasonML 呢？

先说下个人的基本揣摸：延续关注，不发起在大型运用场景中运用。

从 ReasonML 现在的状况来看，它与 TypeScript 异常相似。

TypeScript 由于对 JavaScript 的生态完整兼容，所以纵然我们须要举行部份代码的重写，我们依然能够疾速的复用 JavaScript 的壮大生态。

而由于 ReasonML 来讲，这个方面就会显著相差不少。与此同时，ReasonML 的相干语法与 JavaScript 相差较大，因而关于前端工程师的进修本钱来讲，也有肯定的提提拔。

综上所述，假如人人须要在前端运用强范例言语来构建大型项目，发起挑选 TypeScript 言语。

作者引见与转载声明

黄珏，2015年毕业于华中科技大学，现在任职于美团基本研发平台大象业务部，自力担任大象 Web SDK 的开辟与保护。

本文未经作者许可，制止转载。