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

精确性
JavaScript 中的错误在 Facebook 可能产生重大影响。开发者希望在代码发布到生产环境之前尽可能多地发现并修复错误。因此，我们必须关注分析的正确性。同时，我们也必须避免报告过多的虚假错误，因为低信号与噪声比意味着修复率会很低。

换句话说，我们希望 Flow 的分析在实际使用中是精确的——它必须准确地建模语言的关键特性，从而能够区分出符合编程习惯的代码和无意中的错误。

速度
精确性通常以牺牲速度为代价。然而，尽管精确的分析是理想目标，但如果因为需要编译而使开发者在每次编辑后都必须等待，导致编辑-刷新循环变慢，那么 JavaScript 的诸多优势将大打折扣。

换句话说，我们必须设计 Flow 的分析过程，使其运行得极为迅速——它必须在代码发生变化时能即时响应，无需明显延迟，同时在实际使用中仍能保持足够的精确性。