Pyright - Python 静态类型检查工具


MIT
跨平台
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 插件。