PyCharm 2026.1.2 集成 Pyrefly LSP

TL;DR · AI 摘要
PyCharm 2026.1.2 集成 Pyrefly LSP,显著提升代码洞察性能。
核心要点
- Pyrefly 是 Meta 开发的下一代 Python 类型检查器,基于 Rust 实现。
- Pyrefly 提供更快的类型推理和诊断功能,适用于大型 Python 项目。
- PyCharm 2026.1.2 支持通过 LSP 集成 Pyrefly,用户可直接切换类型引擎。
结构提纲
按章节快速跳转。
思维导图
用一张图看清主题之间的关系。
查看大纲文本(无障碍 / 无 JS 友好)
- PyCharm 2026.1.2 Pyrefly LSP 集成
- Pyrefly LSP
- 语言服务器协议 (LSP)
- 性能提升
- 类型检查
- PyCharm 集成
- 类型引擎切换
- 自动安装
- 支持大型项目
金句 / Highlights
值得收藏与分享的关键句。
Pyrefly 是 Meta 开发的下一代 Python 类型检查器,基于 Rust 实现,性能比 Pyre 更快。
Pyrefly 提供更高效的类型推理和诊断功能,适用于大型 Python 项目。
PyCharm 2026.1.2 支持通过 LSP 集成 Pyrefly,用户可直接切换类型引擎。
您唯一需要的 Python IDE。
PyCharm 2026.1.2 中的 Pyrefly LSP 与类型引擎集成

2026年5月15日
在 PyCharm 2026.1.2 中,您可以将 Pyrefly 启用为外部类型提供程序,显著提升 IDE 代码洞察功能的运行速度。
什么是 Pyrefly LSP?
“LSP”代表 Language Server Protocol(语言服务器协议)——一种标准化协议,允许代码编辑器及 IDE 与 语言服务器 进行通信。LSP 使得语言服务器能够提供代码智能功能,例如:
- 代码补全
- 悬停信息(例如,快速文档)
- _转到定义_ 及其他操作
- 错误检查及类型相关诊断
LSP 的主要优势在于它允许单个语言服务器在多种工具中使用。这意味着特定于语言的智能功能无需在每个编辑器、IDE 或 CI 流水线中单独实现。
Pyrefly 是 Meta 的下一代 Python 类型检查器,完全基于 Rust 构建,旨在替代其前身 Pyre(使用 OCaml 编写)。通过迁移到 Rust,Pyrefly 实现了显著更快的性能和更好的跨平台可移植性。它不仅仅是一次重写,其设计目标是更强大、更稳健,为维护大规模 Python 代码库提供了一套高效的工具集,具有高精度和低开销的特点。
Pyrefly 提供以下优势:
- 更高的性能和效率 – 得益于其基于 Rust 的架构,Pyrefly 实现了显著更快的速度并提升了跨平台可移植性。
- 增强的代码智能 – 作为外部类型提供程序,Pyrefly 为 IDE 中的核心代码洞察功能提供支持,包括类型推断、类型相关诊断、快速文档和内联提示。
- 可扩展性 – Pyrefly 旨在处理大规模 Python 代码库,具有高精度和最小开销。
Pyrefly 对于处理大型、复杂 Python 代码库且重视性能和稳健类型的项目及开发者来说非常有益。通过 LSP 集成 Pyrefly 是我们持续提升 PyCharm 代码洞察性能工作的一部分。
在 PyCharm 中使用 Pyrefly
一旦启用,Pyrefly 将为 PyCharm 中的所有代码洞察功能提供支持,包括类型推断和类型相关诊断、快速文档和内联提示。将分析任务委托给这个更快的引擎可带来显著提升的性能。
要在您的 PyCharm 项目中使用 Pyrefly,请前往窗口底部的 _Type_ 小部件。默认情况下,IDE 使用内置的类型引擎。点击该小部件并选择使用 Pyrefly 的选项。如果您尚未安装 Pyrefly,PyCharm 会自动为您安装。

切换到 Pyrefly 类型引擎后,您将在底部看到一个 Pyrefly 图标,将鼠标悬停其上可以查看正在使用的版本。

请注意,目前该集成适用于本地解释器配置。对 Docker、Docker Compose、WSL、SSH 以及多模块项目的支持计划在未来的版本中提供。
Pyrefly 与内置类型引擎的对比
现在让我们看看 Pyrefly 和内置类型引擎在一个复杂的 Python 项目中的表现。在这个 FastAPI 示例中,多个文件都进行了类型注解,但在此文件中,变量 _ref_ 的类型注解错误,导致了四个错误。当使用内置类型引擎时,IDE 识别出存在问题,但建议运行进一步分析来修复问题,这需要一个额外的步骤。

使用 Pyrefly 作为类型引擎时,IDE 会立即报告错误并高亮显示其来源。然而,值得注意的是,在我们的示例中,存在四个错误,但 Pyrefly 只检测到了其中的三个。它漏掉了 self._storage[ref] 中的那个错误。

下载最新版 PyCharm 并亲自体验
准备好体验 Python 开发性能的飞跃了吗?PyCharm 2026.1.2 中的 Pyrefly 类型引擎带来了下一代类型检查。它采用 Rust 构建,具有无与伦比的速度,能在短短 0.5–1 秒内解析文件,速度显著快于内置引擎。如果您维护大型、复杂的 Python 代码库并优先考虑稳健的类型系统,此功能至关重要,因为它允许您将分析任务委托给更快的引擎,并立即获得类型相关的诊断信息。下载最新版本的 PyCharm (2026.1.2),解锁卓越的效率、可扩展性和代码洞察能力。
[](https://blog.jetbrains.com/pycharm/2026/05/pyrefly-lsp-integration-in-pycharm-2026-1-2#)