Pyrefly LSP 与 PyCharm 2026.1.2 类型引擎集成
TL;DR · AI 摘要
PyCharm 2026.1.2 集成 Pyrefly LSP，显著提升代码洞察性能。
核心要点
- Pyrefly 是 Meta 开发的下一代 Python 类型检查器，基于 Rust 实现，性能远超其前代 Pyre。
- Pyrefly 通过 LSP 协议与 PyCharm 集成，提供更快速、高效的类型推断和错误检测。
- PyCharm 用户可通过 Type 工具栏切换至 Pyrefly 引擎，无需额外配置即可使用。
结构提纲
按章节快速跳转。
思维导图
用一张图看清主题之间的关系。
查看大纲文本（无障碍 / 无 JS 友好）
- Pyrefly LSP Integration in PyCharm
- What is Pyrefly LSP?
- Language Server Protocol (LSP)
- Meta's next-gen Python type checker
- Rust-based architecture
- Benefits of Pyrefly
- Higher performance and efficiency
- Enhanced code intelligence
- Scalability for large projects
- How to Use in PyCharm
- Access via Type widget
- Automatic installation if not present
- Icon indicator for version check
金句 / Highlights
值得收藏与分享的关键句。
Pyrefly 是 Meta 开发的下一代 Python 类型检查器，基于 Rust 实现，用于取代其前代 Pyre。
相比其 OCaml 基础的前代，Pyrefly 实现了显著的性能提升和更好的跨平台兼容性。
使用 Pyrefly 作为类型引擎时，IDE 会立即报告错误并突出显示错误来源。
您唯一需要的 Python IDE。
PyCharm 2026.1.2 中 Pyrefly LSP 与类型引擎的集成
2026 年 5 月 15 日
在 PyCharm 2026.1.2 中，您可以将 Pyrefly 启用为外部类型提供程序，从而显著提升 IDE 代码洞察功能的速度。
什么是 Pyrefly LSP？
“LSP” 代表 语言服务器协议 —— 一种标准化协议，允许代码编辑器和 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，请转到窗口底部的 _类型_ 小部件。默认情况下，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/#)