目前处于 alpha 阶段的 Pyrefly 是 Meta 开发的一款新的开源 Python 类型检查器，其使用 Rust 编写，以实现最佳性能。Pyrefly 的灵感来自于 Pyre、Pyright 和 MyPy 等工具，旨在取代之前用于 Instagram 代码库的基于 OCaml 的 Pyre 类型检查器。
我们构建了 一个自定义的增量计算引擎，并基于多年的渐进类型理论经验和 Rust 专业知识设计了我们的类型检查算法。通过开源这项技术，我们希望它能够更好地服务于任何规模的项目。
根据 Meta 工程师的说法，开发 Pyrefly 的主要动机是需要支持响应式的 IDE 类型检查，随着 Instagram 类型系统的复杂性的增加，使用 Pyre 来实现这一点变得越来越困难了。
我们探索了替代解决方案，并利用 Pyright 等社区工具进行了代码导航。但是，由于需要一个可扩展的类型检查器来进行代码导航、大规模检查和向其他服务导出类型，我们不得不重新开始，于是创建了 Pyrefly。
Pyrefly 是为高性能而设计的，并使用 Rust 实现，以最大限度地提高效率。根据 Meta 的说法，它可以在大型代码库上每秒检查 180 万行代码，从而使得在每次按键点击时进行类型检查成为可能。
Meta 的基准测试显示，Pyrefly 可以在 13.4 秒内完成对整个 Instagram 代码库的类型检查，而 Pyre 需要 100 多秒。类似地，Pyrefly 只需要 2.4 秒即可完成对 PyTorch 的类型检查，而 Pyright 需要 35.2 秒，MyPy 需要 48.1 秒。
除了性能之外，Meta 选择使用 Rust 来构建 Pyrefly，还因为它的安全性、跨平台支持以及能够编译成 WebAssembly 的能力，这使得基于浏览器的 游乐场（Playground）体验 成为可能。
除了对带注解的 Python 代码库进行类型检查之外，Pyrefly 还致力于对未带注解的代码也有用。为此，它可以自动推断返回值和局部变量的类型，允许开发人员根据需要显式地将推断的类型插入到他们的代码中。
Meta 已经发布了 Pyrefly 的 alpha 版本，因为存在开放的缺陷并且一些功能正在开发中，但其计划在今年夏天进入 beta 阶段。Visual Studio Code 扩展已经可以在 Visual Studio Marketplace 中找到了。
Pyrefly 并不是唯一一个用 Rust 编写的 Python 类型检查器。专门从事开发者工具的公司 Astral 最近推出了 Ty 的预览版。Ty使用一个手写的 Python 解析器，用 Rust 编写，并基于 Python 的官方规范。如果你想尝试一下，它还提供了一个游乐场（playground）。Astral 开发的其他工具还包括 Ruff 代码检查器和 uv 包管理器，它们也都是用 Rust 编写的。
原文链接：
https://www.infoq.com/news/2025/05/meta-pyrefly-python-typechecker/
声明：本文由 InfoQ 翻译，未经许可禁止转载。
点击底部
阅读原文访问 InfoQ 官网，获取更多精彩内容！
