Flow：一款面向JavaScript的静态类型检查工具

Flow简介与核心优势

今日，我们正式发布了Flow的预览版本，这是一款专为JavaScript设计的静态类型检查工具。Flow通过引入静态类型检查机制，显著提升了开发效率与代码质量。具体而言，静态类型检查能够提前发现运行时才会暴露的错误，并提供代码智能感知功能，从而辅助代码的维护、查找、重构及优化工作。

Flow的设计完全基于现有的JavaScript规范构建。由于Flow在后台自动运行，其带来的额外编译开销微乎其微。Flow并不强制要求开发者改变编码习惯，而是利用一套复杂的算法来分析开发者熟悉的代码风格。

尽管Flow仍处于早期阶段，但已在Facebook内部投入使用。我们鼓励大家在自己的项目中尝试使用，并期待收到反馈。访问 flowtype.org 即可快速开始使用。

Flow总览与设计理念

总览

Facebook对JavaScript情有独钟，因其运行速度快、表达力强且兼容性好，是构建产品的理想语言。然而，缺乏静态类型检查常令开发者头疼：Bug难以定位（如深层崩溃原因），代码维护困难（如在未明确依赖关系时重构风险巨大）。Flow通过提升速度与效率，促进了JavaScript开发者的生产力。

在JavaScript之上构建静态系统并非易事。JavaScript具有极高的表现力，简单的类型系统难以精确组合出所需的语义。为了支持不同的JavaScript编程范式与习惯，Flow引入了数据流（data-flow）和控制流（control-flow）等编译时语义提取技术，并结合先进的类型原理进行类型推断。此外，仅靠强大的静态分析是不够的，面对庞大的JavaScript代码库，类型检查必须极速响应，以不打断“编辑-运行”的工作流。Flow采用模块化分析策略，将类型限制在模块边界内，最终形成类似Hack的高并行、增量式检查架构。这使得即使在百万行级别的代码库中，类型检查也能保持快速响应。

Flow的类型检查是可选的，无需一次性检查所有代码。然而，Flow的设计基于一个假设：大多数JavaScript代码具有隐式静态类型；虽然类型可能未显式出现在代码中，但它们以可推理的形式存在于开发者的思维中。Flow会尽可能推断这些类型，从而在不修改代码的情况下发现类型错误。另一方面，对于大量使用反射、静态类型推断极为困难的框架代码，Flow提供机制允许开发者标记此类代码为“可信”并继续检查。这一设计已在Facebook内部大量JavaScript代码库中得到验证：大多数代码无需通过隐式静态类型检查条目，开发者即可在不添加注释的情况下检查类型错误。

这使得Flow从根本上区别于其他JavaScript类型系统（如TypeScript）。后者通常假设大多数JavaScript代码是动态输入的，由开发者自行表达哪些代码应为静态类型。这种设计通常导致检查覆盖率降低：检测到的类型错误更少，工具效率较低。虽然某些情况下这种设计是合理的，但通常需要大量额外努力才能对实际开发提供足够帮助。尽管如此，Flow让你能以简单方式获得这种弱化的类型检查，对现有代码库非常有用。

为了解释这种区别，请看下面的例子：

function onlyWorksOnNumbers(x) {
 return x * 10;
}
onlyWorksOnNumbers(‘Hello, world!');

Flow能够发现此错误（尝试将数字与字符串相乘），而另一种更保守的分析则需要显式标注x的类型。在这个简单的例子中这并不费力，但在巨型代码库中几乎无人去做。Flow可以在不添加注释的情况下发现此错误——当然，前提是开发者希望这样做。

Flow类型系统详解

类型系统

Flow的类型系统实现了许多预期功能。它支持标准基本类型（number、string、boolean），除了一些特殊情况外，禁止类型之间的隐式转换。结构类型（如函数、对象和数组）也得到支持，且类型可以是多态的。

你可能会感到意外，Flow并未将null和undefined视为上述类型中的任何一种。这两种类型具有多种可能性，使用它们必须在合理的检查保护之下。其他组合类型（如string | number）也得到支持，此类用法同样需要确保安全。Flow了解缩小类型范围时动态检查的影响。

让我们通过一个例子来描述对null值的处理。下面的程序在运行时总是会崩溃，但一般的类型系统会认为它没有问题：

function length(x) {
return x.length;
}
var total = length('Hello') + length(null);

Flow会在编译时期发现此错误，并指出x可能为null（不应访问length属性）。另外，Flow了解程序的控制流，因此只需简单修改即可使程序类型正确：

function length(x) {
 if (x !== null) {
 return x.length;
 } else {
 return 0;
 }
}
var total = length('Hello') + length(null);

Flow还了解JavaScript复杂的对象模型：构造函数、方法、原型及其动态扩展与绑定。目前已试验性支持类型的复杂操作，如绑定对象、提取keys等。我们希望未来这些功能使得为框架指定具体类型成为可能。

类型错误通常报告为定义与实际值不兼容：例如函数调用参数不足、对象中不包含要访问的属性，或将字符串当作数字使用。

最后，Flow支持动态类型（any），这种类型可以绕过类型系统检查：例如，可用any表示静态分析无法准确判断而报错的location（通常在使用反射的情况下）。另外，Flow在弱模式下遇到上述类型且没有注释类型时，会自动假定为any。

模块扩展性与服务器架构

扩展性

为了拓展，Flow根据模块及其他模块的依赖关系及提供的类型接口，单独对每个模块进行检查。要生成类型接口，Flow可能需要在模块边界上进行注释。

Flow在一个后台运行的持久化服务器上维护整个代码库的语义信息。初始时，Flow会对整个代码库进行一次分析；随后，当一系列文件发生改动（可能是单个文件改动或切换分支）时，服务器会增量式更新改动文件及由于类型关联的其他相关文件的语义信息。这样，当开发者试图获取类型错误时，结果已存在于服务器上，响应几乎是即时的。这种服务器架构与Hack构建于相同的技术之上。

标准兼容性与React支持

兼容性

Flow致力于支持最新的JavaScript标准。目前已支持各种ES6特性，如解构（destructuring）、类（classes）、扩展对象（extended objects）、可选函数参数，以及核心API扩展（如Map、Set、Promise，以及Object、Array和Math上的新方法）。其他特性（尤其是模块）正在开发中。Flow支持CommonJS/Node.js规范的模块。

var Hello = React.createClass ({
 render: function() {
 return <div>Hello {this.props.name}</div>;
 }
});

如果你在JSX中使用的类名有误，Flow会发现这个问题：

React.render(, ...);

此外，如果你在React类中使用了React.PropTypes规范，你可以对JSX上的属性进行静态类型检查：

var Hello = React.createClass ({
 propTypes: {
 name: React.PropTypes.string.isRequired
 }
 ...
});

Flow会检测<Hello/>缺少属性的错误，或<Hello name={42}/>属性类型的错误。

更多关于支持React的细节可在文档中找到。

开源生态与贡献指南

开源

Flow代码大部分用OCaml实现。代码库处于活跃更新状态，并将在未来几个月快速进化。除了在Facebook范围内的数据代码库中运行外，我们希望Flow的分析引擎能用于构建类似的工具，无论是针对JavaScript还是其他语言。请让我们知道你是否想加入！

好了，关于Flow之一个新的Javascript静态类型检查器的全部内容先给大家介绍到这里，后续还会持续更新，敬请关注！