理解Flow静态类型检查

　　两者在代码语法上有大量相似的地方，除了对于一些数据类型的支持不一样，具体请查看Flow的文档。关于Flow和Typescript的比较，可以简单总结为：对于新项目，可以考虑使用TypeScript或者Flow，对于已有一定规模的项目则建议使用Flow进行较小成本的逐步迁移来引入类型检查。

三、Flow 是如何做到类型检查的呢？

　　在 C#/Java 等强类型语言中，所有的变量、属性、参数是需要对其定义类型的，也需要对函数的返回值进行类型定义。这样，在程序编译过程中，编译器就会进行类型检查，如果类型不匹配，将会终止编译。也就是说，变量存储的数据自始至终必须是一种类型、函数接收的变量类型也被固定，如果在调用函数时传递其它类型，编译会被中断。

　　第一步：我们要模仿 C#/Java 之类的语言，在编码过程中对类型进行定义。举个例子：

function getStringLength(str: string):number {
    const len: number = str.length;
    return len;
}

　　我们写了一段简单的根据 Flow 的规则，进行类型声明的代码。虽然看起来没有什么用，但可以简单讲述如何定义类型了。这个函数接收一个 string 类型的参数，参数名为 str，函数的返回值是 number 类型。定义了一个类型为 number 的常量 len，它的值为 str 的长度，并且将其返回。

　　第二步：通过 Flow 提供的工具进行类型检查。如果有类型不匹配的地方，工具会提示错误。

　　第三步：但是，发布到线上的代码是不能加类型声明的，因为这样不符合规范，浏览器也不认。所以，我们需要对源代码进行一次编译，将所有声明的类型去掉，像正常的 JS 代码一样了。上面的代码编译过后将会变成：

function getStringLength(str) {
    const len = str.length;
    return len;
}

四、Flow的作用

　　一个简单的demo如下。