1
Flow是我们在Facebook上构建的JavaScript的静态类型检查器。Flow的总体任务是为JavaScript开发人员提供身临其境的编码体验-一个快速的编辑-刷新周期-甚至随着代码库的发展和壮大。用工程术语来说，我们确定了对这一任务很重要的两个具体目标：精度和速度。这些目标无处不在地驱动设计和实施。精确的JavaScript错误可能会对Facebook产生重大影响。开发人员希望在代码正式投入生产时，找到并修复尽可能多的错误。因此，我们必须关心稳健性。同时，我们还必须注意不要报告太多的虚假错误，因为低信噪比意味着较低的固定率。换句话说，我们希望Flow的分析在实践中是精确的-它必须足够准确地对语言的基本特征进行建模，以理解惯用代码和意外错误之间的区别。速度精度通常以速度为代价。但是，尽管需要进行精确的分析，但是如果我们通过让开发人员在编译时等待而拖延了编辑刷新周期，那么大多数JavaScript的吸引力就会丧失。换句话说，我们必须以极快的速度设计Flow的分析-它必须对代码的更改做出及时响应，而在实践中仍要足够精确。
分类目录
