2025 年 5 月，Meta 推出了 PyreFly ------ 一个专为现代 Python 项目打造的全新静态类型检查器和 IDE 插件，旨在提升开发者的日常编码体验。
为什么我们需要 PyreFly？
Python 是一门极为灵活的动态语言，但在大型代码库中，缺乏类型信息可能导致难以维护和调试。过去，我们曾使用 Pyre 来支持静态类型检查。然而，随着代码库日益庞大、IDE 用户越来越依赖即时反馈，我们发现 Pyre 在交互式开发场景中仍有一些局限。
于是，我们从头构建了 PyreFly------一个更快、更智能、更适用于现代开发流程的类型检查系统。
PyreFly 有哪些亮点？
极速反馈
- PyreFly 使用 Rust 编写，具备极高的性能。
- 在大型 monorepo（数百万行代码）中也能实现亚秒级的增量检查响应。
- 你在 IDE 中每一次按键，都能触发类型更新，而不牺牲速度。
智能类型推断
- 不需要手动编写冗长的类型注解，PyreFly 可以自动为你推断出局部变量和函数返回值的类型。
- 支持将推断结果一键插入代码，让类型信息一目了然。
为 IDE 打造的原生体验
- PyreFly 的核心设计理念之一就是 IDE-first。
- 官方插件已支持 VS Code，未来将逐步支持更多编辑器。
- 和命令行一致的分析结果，避免 IDE 和 CI 行为不一致。
开源友好
- PyreFly 已以 MIT 许可证在 GitHub 上开源。
- 欢迎贡献者加入我们，一同打造更出色的 Python 开发工具链。
和 Pyre 有什么不同？
| 特性 | Pyre | PyreFly |
|---|---|---|
| 编程语言 | OCaml | Rust |
| 响应速度 | 中等 | 极快 |
| IDE 集成支持 | 有限 | 原生设计 |
| 增量检查 | 支持 | 更优化 |
| 类型推断 | 有限 | 强化支持 |
| 开源模式 | 是 | 是 |
如何开始使用 PyreFly？
安装：
-
pip install pyrefly -
初始化配置（若已使用 Pyre，可部分复用配置）：
csharp
pyrefly init-
启动检查：
sqlpyrefly check
安装 VS Code 插件，获得增强的开发体验。
未来发展方向
我们希望 PyreFly 不仅仅是一个静态分析器，更是一个强大的开发助手。接下来，我们将重点关注：
- 更完整的类型系统支持（例如 TypedDict、泛型、Protocol 等）；
- 与 Pyright、MyPy 等工具的生态互操作性；
- 增强的错误修复建议和代码重构功能；
- 更广泛的 IDE 支持。
结语
PyreFly 是我们对 Python 类型系统未来的一次深度投入，也是为社区提供的一项新选择。如果你正在构建大型 Python 系统，或者希望改善日常的开发体验，PyreFly 值得一试。
欢迎访问项目主页了解更多，也欢迎加入我们在 GitHub 的开发讨论！