Pyrefly：让 Python 类型检查快如闪电的 Rust 新锐工具

Pyrefly 是 Facebook 开源的一款高性能 Python 类型检查器与语言服务器，用 Rust 重写，专为速度和可扩展性而生。它能在毫秒级内完成大型 Python 项目的类型分析，显著超越传统工具（如 mypy）的响应速度。对于追求开发效率、依赖类型提示（PEP 484/561）又不堪忍受等待的工程师来说，Pyrefly 正是那个“等不及也要等”的终极提速方案。

核心功能

• 极速类型检查：基于 Rust 实现，冷启动与增量检查均达亚秒级，百万行级项目也能在 1–3 秒内完成全量校验
• 原生 Language Server Protocol (LSP) 支持：开箱即用对接 VS Code、Neovim、JetBrains 等主流编辑器，提供实时类型提示、跳转定义、悬停文档、错误高亮等完整 IDE 体验
• 无缝兼容 Python 生态：完全支持标准类型语法（Union、Literal、TypedDict、Protocol）、第三方 stub 包（types-*）、以及 PEP 561 兼容的包内类型注解
• 智能增量分析：仅重新检查被修改或依赖变更的文件模块，配合缓存机制，编辑时响应几乎无感知
• 可嵌入式设计：提供简洁的 CLI 接口与程序化 API，便于集成进 CI/CD 流水线、pre-commit 钩子或自定义开发平台
• 低资源占用：内存使用比同类工具降低约 40%，适合在 CI 环境或配置有限的开发机上长期运行

适合哪些人用

如果你是以下任一角色，Pyrefly 值得立刻加入你的 Python 工具链：
• 使用类型提示但被 mypy 启动慢、卡顿困扰的中大型项目开发者；
• 团队已采用 Pydantic、FastAPI、Django-Stubs 等强类型框架，需要更流畅的编辑体验；
• DevOps 或平台工程师，希望在 CI 中快速验证类型安全性而不拖慢构建节奏；
• 编辑器重度用户（尤其 VS Code + Python 扩展），期待零延迟的类型反馈与精准补全；
• 对 Rust 性能优势有信任基础，并愿意尝试新一代底层工具替代传统 Python 实现。

快速上手

安装极其简单（需已安装 Rust 工具链）：

• 通过 cargo 安装（推荐）：
  cargo install pyrefly
• 或使用 pip（预编译二进制包）：
  pip install pyrefly
• VS Code 用户：安装官方扩展 “Pyrefly”（由 Facebook 维护），启用后自动接管类型服务；
  Neovim 用户：搭配 mason.nvim + nvim-lspconfig 即可一键注册 LSP 服务器。
• 命令行检查示例：
  pyrefly check main.py（单文件）
  pyrefly check --project .（整个 pyproject.toml 项目）

项目信息

编程语言：Rust｜Star 数：6209｜开源协议：MIT（依据仓库 LICENSE 文件及 Facebook 开源惯例推断，实际请以 GitHub 仓库为准）｜GitHub 项目地址

它不是另一个“玩具型”实验项目，而是 Facebook 内部已用于真实大型 Python 代码库（如 PyTorch 相关工具链）的生产级基础设施——快、稳、可信赖。