产品Pylance
Pyright
微软开发的Python静态类型检查工具，是VS Code扩展Pylance的底层引擎，以高性能和严格的类型推断著称
时间轴 (近 90 天)
10月21日
Pyrefly 的目标是提供比 mypy 和 Pyright 快一个数量级的检查速度，并支持完整类型推断、泛型与 PEP 695 新语法
待验证50%
10月21日
Pyrefly 的类型检查规则与 Pyright 并不完全一致，迁移项目时可能需要处理新出现的诊断
待验证50%
10月21日
Zed 此前内置的 Python 方案主要依赖 pyright 或用户自行配置的 basedpyright、ruff 等
待验证50%
10月11日
使用 Mapped[] 语法时，框架可在无需额外元数据的情况下推断列类型、是否可空以及关系的加载方式，使 mypy、Pyright 等静态分析工具能够理解 ORM 对象的属性类型
待验证50%
10月4日
Pyright是微软开发的静态类型检查器，是VS Code内置Pylance的底层引擎
待验证50%
全部知识事实 (6)
待验证
/goal功能的开发者是Eric Traut，即Python类型检查器Pyright的作者
80%待验证Pyrefly 的目标是提供比 mypy 和 Pyright 快一个数量级的检查速度，并支持完整类型推断、泛型与 PEP 695 新语法
50%待验证Pyrefly 的类型检查规则与 Pyright 并不完全一致，迁移项目时可能需要处理新出现的诊断
50%待验证Zed 此前内置的 Python 方案主要依赖 pyright 或用户自行配置的 basedpyright、ruff 等
50%待验证使用 Mapped[] 语法时，框架可在无需额外元数据的情况下推断列类型、是否可空以及关系的加载方式，使 mypy、Pyright 等静态分析工具能够理解 ORM 对象的属性类型
50%待验证Pyright是微软开发的静态类型检查器，是VS Code内置Pylance的底层引擎
50%