Pyright

概述

Pyright 是微软开发的 Python 静态类型检查器与语言服务器，由 Eric Traut 主导，用 TypeScript 编写，2019 年开源。它是 VS Code 官方 Python 体验 Pylance 扩展的底层引擎。

特点

Pyright 以速度与增量分析见长，专为编辑器场景设计：文件保存或输入时即时重检，支持「监视模式」。它对无注解代码默认执行类型推断（与 mypy 的宽松默认不同），类型收窄能力较强，并通常率先实现新的类型系统 PEP（如 ParamSpec、TypeVarTuple、PEP 695 泛型语法）。配置上提供 basic/standard/strict 等检查级别，可按目录细分。

与 mypy 的关系

mypy 是历史更久的参考实现，Pyright 在推断细节上与其存在有意的行为差异，两者共同遵循 Python 类型规范并推动其明确化。

应用

广泛用于 IDE 智能提示与 CI 类型检查。