1、TypeScript

TypeScript 是一种由微软开发的*和开源的编程语言，它是 JavaScript 的一个超集，扩展了 JavaScript 的语法，主要提供了型别系统和对 ES6 的支持。
TypeScript 可处理已有的 JavaScript 代码，并只对其中的 TypeScript 代码进行编译。

官方开源地址：
https://github.com/Microsoft/TypeScript

TypeScript 入门教程：
https://www.runoob.com/w3cnote/getting-started-with-typescript.html

2、Flow

没有类型的静态检查是 JavaScript 语言的先天缺失，所有很多变量类型相关的问题只能在运行阶段暴露出来。为了使 JavaScript 语言的类型更加安全，业界的实践有 TypeScript；
这些都需要你重新学习一套语言语法，然后由编译器把相应的代码编译成原生的 JavaScript 代码；在一个现有的系统中把当前代码改成 TypeScript 成本比较高，需要重写所有逻辑。

Facebook 推出的 Flow 是另一个思路。Flow 是一个静态类型检测工具；在现有项目中加上类型标注后，可以在代码阶段就检测出对变量的不恰当使用。Flow 弥补了 JavaScript 天生的类型系统缺陷。利用 Flow 进行类型检查，可以使你的项目代码更加健壮，确保项目的其他参与者也可以写出规范的代码；而 Flow 的使用更是方便渐进式的给项目加上严格的类型检测。

flow入门教程：
https://zhuanlan.zhihu.com/p/26204569

3、WebAssembly

WebAssembly是由 Google、Microsoft、Mozilla、Apple 等几家大公司合作发起的一个关于面向 Web 的通用二进制和文本格式的项目。

WebAssembly 是一种新的字节码格式，旨在成为高级语言的编译目标，目前可以使用 C、C++、Rust、Go、Java、C#等编译器来创建 wasm 模块。该模块以二进制的格式发送到浏览器，并在专有虚拟机上执行，与 JavaScript 虚拟机共享内存和线程等资源。

WebAssembly 可以看做是对 JavaScript 的加强，弥补 JavaScript 在执行效率上的缺陷。

学习资料：
https://developer.mozilla.org/zh-CN/docs/WebAssembly/Concepts