pyright

Pyright 是一个面向 Python 的高性能静态类型检查器，遵循 PEP 484 和 PEP 561 等类型标准，支持类型推断、泛型、协议、类型别名等完整类型系统特性。它提供命令行工具和 VS Code 扩展两种使用方式，专为大型代码库优化，启动快、增量检查高效，并兼容 mypy 风格的类型注解与类型提示。适用于需要在开发阶段提前发现类型错误、提升代码健壮性与可维护性的 Python 工程化项目，尤其适合采用类型提示（如 dataclass、TypedDict）的中大型团队协作场景。