Static Typing in Python
summary
History and concrete rules for adding types to Python show up: function annotations and PEPs (3107, 483, 484, 526) define the PEP 484 typing module, static checkers evolve from research to tools (mypy becomes a standalone checker) and companies adopt them, notably a Dropbox migration of millions of lines at Dropbox, and practical choices matter: run a checker (mypy, pytype and pyre are compared), annotate incrementally, and expect cross-function inference and runtime-lenience differences between checkers.
AI-written summary · about
chapters (20)
- 0:00Start
- 1:17Is Python Dynamically or Statically Typed
- 4:44Dynamic Typing in Python
- 7:08Examples
- 7:43Static Typing
- 8:20Typescript
- 8:30Dynamically Typed and Statically Typed
- 9:51Function Annotations
- 14:00Optional Typing
- 14:20Gradual Typing
- 14:38Variable Annotation
- 16:59Generic Types
- 17:27Classes and Types
- 18:02Custom Classes
- 19:48Type Checker
- 19:59Static and Dynamic
- 21:22Disclaimer
- 21:53Cross Function Inference and Runtime Lenience
- 23:43Static Typing Is Not a Replacement for Unit Tests
- 24:14When Should You Use Stack Typing
related talks
32mStatic Typing in Python
22mStatic Typing in Python
35mStatic Typing in Python
24mStatic type-checking is dead, long live static type-checking in Python!
28mMind the gap! Why static typing requires more than just adding annotations
23mGradual Typing in Python
32mType-checked Python in the real world
31mStatic Type Analysis for Robust Data Products