主要观点：Pyrefly是由 Meta 用 Rust 开发的新开源 Python 类型检查器，目前处于 alpha 阶段，旨在替代用于 Instagram 代码库的基于 OCaml 的Pyre，其设计用于高性能，每秒可检查 180 万行代码，能在短时间内完成大型代码库的类型检查，如 Instagram 代码库只需 13.4 秒，PyTorch 只需 2.4 秒等。Meta 选择 Rust 是因其安全性、跨平台支持和可编译为 WebAssembly 以提供浏览器体验。Pyrefly 不仅可检查带注释的代码库，还能自动推断返回值和局部变量的类型，虽处于 alpha 阶段有未解决的问题但计划今年夏天转为 beta 阶段，已在 Visual Studio Marketplace 有扩展。同时，Astral 推出的Ty也是用 Rust 写的 Python 类型检查器，有手写解析器和 playground。

关键信息：

• 开发方：Meta
• 开源地址：https://github.com/facebook/p...
• 替代对象：Pyre
• 语言：Rust
• 性能表现：每秒检查 180 万行代码，Instagram 代码库 13.4 秒，PyTorch 2.4 秒等
• 选择 Rust 原因：安全性、跨平台支持、可编译为 WebAssembly
• 扩展：Visual Studio Code 扩展 https://marketplace.visualstu...
• 同类产品：Astral 的Ty

重要细节：

• Pyrefly 由 Meta 基于多年逐渐类型理论经验和 Rust 专业知识构建定制引擎和设计类型检查算法
• Meta 因 Instagram 类型系统复杂性增长导致 Pyre 难以实现响应式 IDE 类型检查，探索其他方案后创建 Pyrefly
• Pyrefly 除检查带注释代码外还可自动推断类型并可插入代码中
• Astral 的Ty 使用手写解析器基于 Python 官方规范且有 playground