T
traeai
登录
返回首页
The JetBrains Blog

PyCharm 2026.1.2 集成 Pyrefly LSP

8.5Score
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,用户可直接切换类型引擎。

结构提纲

按章节快速跳转。

  1. PyCharm 2026.1.2 引入 Pyrefly LSP 集成,提升代码洞察性能。

  2. 介绍 LSP 协议及 Pyrefly 的核心优势与技术背景。

  3. 详细说明 Pyrefly 在类型检查、性能和扩展性方面的改进。

  4. 指导用户如何在 PyCharm 中启用 Pyrefly 并进行配置。

  5. 分析 Pyrefly 在复杂项目中的表现及其局限性。

思维导图

用一张图看清主题之间的关系。

查看大纲文本(无障碍 / 无 JS 友好)
  • PyCharm 2026.1.2 Pyrefly LSP 集成
    • Pyrefly LSP
      • 语言服务器协议 (LSP)
      • 性能提升
      • 类型检查
    • PyCharm 集成
      • 类型引擎切换
      • 自动安装
      • 支持大型项目

金句 / Highlights

值得收藏与分享的关键句。

#PyCharm#LSP#类型引擎#Python
打开原文
图片 1: PyCharm 徽标

您唯一需要的 Python IDE。

版本发布

PyCharm 2026.1.2 中的 Pyrefly LSP 与类型引擎集成

图片 2: Cheuk Ting Ho

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 会自动为您安装。

图片 3

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

图片 4

请注意,目前该集成适用于本地解释器配置。对 Docker、Docker Compose、WSL、SSH 以及多模块项目的支持计划在未来的版本中提供。

Pyrefly 与内置类型引擎的对比

现在让我们看看 Pyrefly 和内置类型引擎在一个复杂的 Python 项目中的表现。在这个 FastAPI 示例中,多个文件都进行了类型注解,但在此文件中,变量 _ref_ 的类型注解错误,导致了四个错误。当使用内置类型引擎时,IDE 识别出存在问题,但建议运行进一步分析来修复问题,这需要一个额外的步骤。

图片 5

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

图片 6

下载最新版 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#)

  1. 什么是 Pyrefly LSP?
  2. 在 PyCharm 中使用 Pyrefly
  3. Pyrefly 与内置类型引擎对比
  4. 下载最新版 PyCharm 立即体验

探索更多

AI 可能会生成不准确的信息,请核实重要内容

PyCharm 2026.1.2 集成 Pyrefly LSP | The JetBrains Blog | traeai