PyrePython 类型检查工具

Pyre 是一个快速、可扩展和高性能的 Python 类型检查工具，适用于大型的 Python 3 代码库，旨在通过在终端或编辑器中以交互方式标记类型错误来帮助提高代码质量和开发速度。

Pyre 随附了 Pysa，这是基于 Pyre 构建的一个以安全为重点的静态分析工具，可以对 Python 应用程序中的数据流进行分析。

支持的平台

• Python：要求 Python 3.5 或更高版本
• 操作系统：
  • 最近的 Linux 发行版（在 Ubuntu 16.04 LTS 和 CentOS 7 上通过了测试）
  • OS X 10.11 或更高版本
  • 暂不支持 Windows

运行截图