How to make a static type checker your best friend
summary
The talk addresses improving Python type-hint coverage and getting static type checkers (like mypy) to be useful rather than ignored. It explains practical ways to avoid overusing Any, enforce and expand annotations across a growing codebase, and common pitfalls to fix so IDEs and tools (e.g., autocompletion and Copilot) work better.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 1:29Why type hints in Python
- 5:26Adding type analysis to workflow
- 8:25Parametric types and protocols
- 11:41Function overloading in Python
- 16:17Annotation issues and fixes
- 17:42How static analyzers work
- 19:28Async code practical task
- 27:21Limitations and pitfalls
- 29:54Summary of typing benefits
- 31:19Q&A
related talks
24mStatic type-checking is dead, long live static type-checking in Python!
27m"How to Use Static Typing in Python with Type Hints, MyPy and Pydantic"
30mStatic type checking with mypy
29mPython Type hints and how they can supercharge CS education.
29mStatic Typing in Python
28mMind the gap! Why static typing requires more than just adding annotations
47mHow and Why I Write My Own Static Type Checker
03h 38mPython Types for Fun and Profit