JavaScript静态类型检查工具FLOW简介

Flow是Facebook出品的，针对JavaScript的静态类型检查工具。其代码托管在github之上，并遵守BSD开源协议。

关于Flow

它可以帮助我们捕获JavaScript开发中的常见错误，而不需要额外地修改你原有的代码，比如静态类型转换，空值引用等问题。
同时，Flow为JavaScript添加了静态类型的语法标识，这样开发者便可以明确代码中的类型，让其自动地被Flow所维护。
目前，Flow具有以下两特性：

1. Flow的类型检查具有可选性

除非你明确告诉Flow需要对某些文件进行类型检查，否则它是不会检查你不需要检查文件的。这就是说，你可以慢慢地将你的代码库转到Flow之上，继续收获其持续增长的价值。
比如你选择了一个文件进行检查，Flow会自动地对你代码的类型检查，并查出你的代码中的错误。不过，如果你的代码分得很细并存在于不同的文件之中，这种做法显得太麻烦。但有些时候，你选择检查一些很大型的库，Flow可能会不是那么准确。在这种情况下，我们可以手动地采用“类型注解”或者切换到“弱模式”下限制其类型引用来解决问题。

2. Flow的类型检查是在线的

在对代码库进行检查时，Flow会对其做一个初步的分析，然后会在后台对后续变化做持续的监测，类型检查，以及依赖检查。对开发者来说，意味着不需要花大把的时间在编译之上。当批量保存文件的时候，会自动触发Flow的类型检查，会并把结果持久化，以备再用。

使用与期望

Flow是一个由Facebook出品的新新库，大量的特性还在开发过程之中。其长远的目标是：想让JavaScript
的开发体验变得更好，而不用去妥协语言中最本质的东西。我们想要开发者拥有强大的工具，去明白如何去维护他们的代码，更方便安全地复用与优化他们的代码。在早期选择开源，也是希望能给Flow一个机会，快速地在所有开发者面前成长起来。

接下来，我会讲到一些例子，帮助大家快速了解Flow如何工作，以及如何通过Flow让我们更好的工作。