微软 Python 工程:Pylance + Pyrefly:将您偏好的类型检查器集成到 Visual Studio Code 中
Microsoft 通过引入类型服务器协议(Type Server Protocol,TSP)来增强 Python 开发者体验。TSP 是一项开放标准,作为语言服务器协议(Language Server Protocol)的扩展,允许编辑器和工具将类型检查器作为后端组件进行集成。TSP 将 Pylance(VS Code IDE 的智能层)与其默认类型检查器 Pyright 解耦。这种分离使开发者能够轻松切换到其他类型检查器,例如 Meta 的 Pyrefly。无论选择何种类型检查器,Pylance 的核心功能(包括代码补全和 GitHub Copilot 集成)均保持一致。Microsoft 已与 Meta 合作,确保 Pyrefly 具备完整的 TSP 支持,并借助 Meta 在静态类型分析和 AI/ML 库方面的专业知识。此次合作旨在促进 Python 生态系统的互操作性。Pyrefly 以其高性能和 CI 兼容性著称,现可无缝集成至 Pylance。这使开发者能够结合 Pyrefly 的类型分析引擎与 Pylance 的 AI 感知智能。用户可通过安装 Pylance 2026.4.1 或更高版本来体验这一新功能。Pylance 会自动检测 Pyrefly 的安装并提示用户切换。或者,用户可通过 VS Code 设置手动选择首选的诊断源,包括 Pylance、Pylance + Pyright 或 Pylance + Pyrefly。状态栏将清晰显示当前激活的诊断源。