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

Pyrefly 文章讨论 Python 类型检查器增多后库维护者如何取舍。核心建议是尽量在 test suite 上跑多个 type checker，因为测试更接近用户使用 public API；source code 至少跑一个即可。Polars 案例显示，为同时满足 mypy、Pyrefly、ty、pyright，一个 __eq__ overload 片段可能需要 4 个不同 ignore 注释。