Pyright —— Python 静态类型检查工具

Pyright 是微软开发的一个 Python 代码类型检查工具。

Pyright 的速度是 mypy 的 5 倍以上。Pyright 使用 TypeScript 开发，无需 Python 环境支持。

官方表示创建 Pyright 是为了解决像 mypy 这些已有的 Python 类型检查器的问题。有以下值得关注的特性：

• 速度快：Pyright 比使用 Python 编写的 mypy 和其他检查器普遍快5倍或更多。它适用于大型 Python 源码仓库，支持在“观察(watch)”模式下运行，并在修改文件时执行快速增量更新。

• 可配置：Pyright 支持灵活的配置，提供了对设置的细粒度控制，可以为源码库的不同子集指定不同的“执行环境”。每个环境都可以指定不同的 PYTHONPATH 设置、Python 语言版本和目标平台。

• 不依赖 Python 环境：Pyright 使用 TypeScript 编写，它不需要安装 Python 环境或导入的第三方软件包。

Pyright 包含一个 命令行工具 和一个 VS Code 的 Language Server Protocol 插件。