Flow.org

Flow 是我们在 Facebook 开发的 JavaScript 静态类型检查工具。Flow 的总体目标是为 JavaScript 开发者提供沉浸式的编码体验——即使代码库不断演进和增长，也能保持快速的编辑-刷新周期。从工程角度看，我们确定了两个对这一目标至关重要的具体目标：精确性和速度。这两个目标贯穿于设计与实现的全过程。

精确性
JavaScript 中的错误在 Facebook 可能造成重大影响。开发者希望在代码上线生产环境前发现并修复尽可能多的错误。因此我们必须重视类型系统的可靠性。同时，我们也必须避免报告过多的误报错误，因为过低的信号/噪声比意味着修复率低下。

换句话说，我们希望 Flow 的分析在实践中足够精确——它必须准确地建模语言的核心特性，以区分惯用写法与无意的错误。

速度
精确性通常会牺牲速度。但若因编译过程而显著拖慢编辑-刷新周期，那么 JavaScript 的大部分吸引力将荡然无存。

换言之，我们必须使 Flow 的分析极其迅速——在代码变更后必须几乎无延迟地响应，同时在实践中仍保持足够的精确性。