PyrightPython 静态类型检查工具
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 插件。
评论