Hasty Briefsbeta

Bilingual

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

5 hours ago
  • #API Testing
  • #Python Type-Checking
  • #Library Development
  • Type-checking test suites is more important than source code for user experience.
  • Running multiple type-checkers on tests ensures compatibility with various user tools.
  • Focusing on public API in tests avoids cluttering source code with type-ignore comments.
  • Polars example shows benefits of prioritizing test suite type-checking over source.
  • Different type-checkers have varying strictness levels, affecting maintenance choices.
  • Recommendation: run as many type-checkers as possible on tests, at least one on source.