Pyrefly：Facebook 开源的高性能 Python...

Pyrefly 是一款专为 Python 打造的高性能类型检查器与语言服务器。它不仅能以极快速度完成类型检查，还内置了代码导航、自动补全、语义高亮等 IDE 功能，让开发者在命令行和编辑器中都能获得一致体验。

项目在 Instagram 的 2000 万行代码库中得到大规模验证，同时也被 PyTorch、JAX 等知名开源项目采用。Pyrefly 内置对 Pydantic、Django 等主流框架的支持，开箱即用；迁移工具 pyrefly init、pyrefly suppress、pyrefly infer 则让从 Mypy 或 Pyright 切换变得轻松。

目前支持 VSCode、Neovim、Zed 等编辑器，可通过 pip install pyrefly 快速安装。

主要功能：

• 闪电级类型检查，单秒可处理 185 万行代码；
• 完整语言服务器，支持跳转、补全、悬停提示等；
• 框架感知，Pydantic 与 Django 模型开箱即用；
• 平滑迁移，提供一键初始化、错误抑制与类型推断；
• CLI 与 IDE 结果一致，重新检查通常在 10 毫秒内完成。

---