Pyre：Facebook开发的Python性能类型检查器

从头开始构建，以支持渐进式键入并提供响应的增量检查。在包含数百万行Python的大型代码库上执行。

旨在通过在您的终端中或在您最喜欢的编辑器中交互地标记类型错误来帮助提高代码质量和开发速度。

遵循PEPS 484、526、612中介绍的分型标准，并正在积极开发和不断改进。

Pyre附带了Pysa，这是我们为了解大规模Python应用程序中的数据流而构建的以安全为重点的静态分析工具。