pyre

pyrefly 是 Python 的静态类型检查器。它是一个帮助您在 Python 代码中查找类型错误的工具。Pyre 设计为快速、可扩展且易于使用。它在 Facebook 被使用，帮助开发者在类型错误进入生产环境之前捕获它们。