Are you really expected to run five type-checkers now?
Summary
Are you really expected to run five type-checkers now? argues that library maintainers should prioritize compatibility across multiple Python type-checkers by testing the public API rather than focusing solely on internal source code. Using Polars as a case study, it demonstrates how different checkers can agree on API behavior, and advocates CI tests that exercise multiple type-checkers to improve reliability for users.