Flow是一个静态类型检查工具，设计用于找出JavaScript程序中的类型错误。