pyright

Pylance 是 Microsoft 为 Visual Studio Code 提供的快速、功能丰富的 Python 语言支持扩展，基于 Pyright 类型引擎，提供代码补全、类型检查、语义高亮及 Copilot Chat 技能等功能，并可通过多种设置自定义性能与功能。

A blog post arguing that Python library maintainers should prioritize running multiple type-checkers on their test suite to ensure public API compatibility, highlighting challenges with compatibility and code pollution.