Are you expected to run five Python type-checkers now?

摘要

文章针对 mypy、Pyrefly、Pyright、ty 和 Zuban 多种检查器并存的现状，建议维护者优先在测试套件（代表公共 API）上运行尽可能多的检查器，以确保用户兼容性；而在内部源码中仅运行一个检查器，以避免因各工具实现差异导致代码充斥大量的 type-ignore 注释。文中以 Polars 库的实践为例，说明了这种分层策略如何平衡维护成本与公共 API 的类型准确性。