Bulletproof Python - Writing Fewer Tests with a Typed Code Base

Explore how a fully typed Python code base can reduce the need for extensive test code while maintaining confidence in correctness. Analyze specific code examples to understand how dependent types and exhaustiveness checking render certain classes of tests obsolete. Learn to leverage typing features to create more robust and self-documenting code, potentially streamlining the development process and improving overall code quality. This 26-minute conference talk from EuroPython 2023 offers valuable insights for Python developers looking to optimize their testing strategies and enhance code reliability through advanced typing techniques.