项目介绍
Pyrefly 是 Meta（Facebook）开源的一款超高速 Python 类型检查器和语言服务器，采用 Rust 编写。它是 Instagram 20-million-line Python 代码库的默认类型检查器，也被 PyTorch 和 JAX 等大型开源项目采用。项目在 GitHub 上已获得 6,168+ Star，于 2026 年 5 月 12 日正式发布 1.0.0 版本。
惊人的性能
- 每秒检查超过 185 万行代码 — 比 Mypy 和 Pyright 快 15 倍
- IDE 中保存文件后重检查通常在 10 毫秒以内完成
- 检查 PyTorch 全项目仅需数秒
核心功能
🔥 极速类型检查
基于 Rust 实现的核心引擎，采用增量检查和并行化架构，实现了业界领先的检查速度。Pyrefly 的架构设计让它能够处理数百万行级别的代码库而不会出现性能退化。
🛠️ 完整的语言服务器功能
- 代码导航（跳转到定义、查找引用）
- 自动补全
- Hover 信息
- Inlay Hints（内联提示）
- 语义高亮
- CLI 和 IDE 结果一致
🔄 无缝迁移工具
pyrefly init— 从 Mypy 或 Pyright 迁移配置pyrefly suppress— 静默现有错误pyrefly infer— 自动生成类型注解- 从一个文件开始，逐步扩展
🏗️ 真实 Python 框架支持
内置对 Pydantic 和 Django 的支持，开箱即用：
- Pydantic 模型验证
- Django 字段类型
- ORM 查询自动补全
技术架构
Pyrefly 使用 Rust 编写，核心引擎包含：
- 类型推断器 — 基于双向类型推导算法
- 增量检查器 — 文件修改后仅重新检查受影响部分
- 语言服务器协议（LSP）实现 — 与编辑器无缝集成
- VS Code 扩展 — 提供完整的 IDE 体验
类似项目对比
| 特性 | Pyrefly | Mypy | Pyright |
|---|---|---|---|
| 语言 | Rust | Python | TypeScript/Node |
| 速度 | 185万行/秒 | 较慢 | 中速 |
| IDE 支持 | ✅ 完整 LSP | ❌ 有限 | ✅ 完整 LSP |
| PyTorch 检查 | 15x 快于 Mypy | 基线 | 较快 |
| 迁移工具 | ✅ init/suppress/infer | ❌ | ⚠️ 部分支持 |
快速上手
# 安装
pip install pyrefly
# 初始化配置（自动检测 Mypy/Pyright 配置）
pyrefly init
# 检查项目
pyrefly check .
# 静默现有错误
pyrefly suppress
# 自动生成类型注解
pyrefly infer src/
在 VS Code 中安装扩展：
- 打开扩展市场
- 搜索 “Pyrefly”
- 安装 Meta 发布的官方扩展
版本政策
Pyrefly 每月发布一次 minor 版本（1.x.0），patch 版本按需发布。它不遵循严格的语义版本控制，但 pyrefly suppress 命令可以轻松静默升级新版本带来的新错误。
结合当前技术背景的分析
2026年的 Python 类型检查领域，Pyrefly 的出现标志着几个重要趋势：
- Rust 重写浪潮 — 从 Ruff（Python linter）到 Pyrefly（类型检查器），Rust 正在重塑 Python 工具链
- 大规模代码库需求 — 随着 AI 代码生成工具的普及，代码库规模快速增长，对类型检查器的性能要求更高
- IDE 体验一体化 — 开发者不再接受"CLI 检查+IDE 检查结果不一致"的情况，Pyrefly 的 LSP 架构解决了这一痛点
对于 Python 开发者来说，Pyrefly 是一个值得关注和尝试的工具——特别是如果你正在维护大型 Python 项目，或者对现有类型检查工具的速度不满意。
更新记录（2026-05-22）
- 首次上榜 GitHub Trending，本周增长 572 Star
- 2026年5月12日发布 1.0.0 正式版