Pyright

Pyright 是微软开发的一款静态类型检查工具，专为 Python 语言设计。它基于 TypeScript 实现，通过分析 Python 代码中的类型注解来检测潜在的类型错误，提升代码可靠性和可维护性。Pyright 支持渐进式类型检查、与 Python 3.6 及以上版本兼容，并提供语言服务器协议（LSP）集成，可与 Visual Studio Code 等编辑器配合使用。该项目于 2019 年首次发布，后续持续更新以支持新版本的 Python 语法和类型系统特性。