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 构建在同一种技术之上。
兼容性
Flow致力于支持最新的JavaScript标准。目前已经支持各种ES6特性如destructuring, classes, extended objects, optional function parameters，以及核心API扩展（比如Map, Set, Promise, 和 new methods on Object, Array, 和 Math)。其它特性（尤其是模块）正在开发中。Flow支持CommonJS / Node.js 规范的模块。
var Hello = React.createClass ({ render: function() { return <div>Hello {this.props.name}</div>; } });
如果你在JSX上使用的class名字有错误，Flow会发现这个问题：
React.render(, ...);
而且，如果你在React class里面使用了React.PropTypes规范，你可以对JSX上的attributes做静态类型检查：
var Hello = React.createClass ({ propTypes: { name: React.PropTypes.string.isRequired } ... });
Flow就会发现 <Hello/> 缺少属性的错误，或者 <Hello name={42}/> 属性类型的错误。
更多的关于支持React的细节可以在 文档 中找到。
开源
Flow代码大部分用OCaml实现。代码库在活跃更新并且会在未来几个月快速进化。除了在Facebook范围内的数据代码库中运行外，我们希望Flow的分析引擎能用于构建类似的，无论是JavaScript或者其他的语言工具。请让我们知道你是否想加入！
好了，关于Flow之一个新的Javascript静态类型检查器的全部内容先给大家介绍到这里，后续还会持续更新，敬请关注！
您可能感兴趣的文章: