Typing Summit - at PyCon US 2022
summary
Panel of short reports lists concrete features and experiments: ParamSpec/TypeGuard and union-with-vertical-bar land in 3.10, several 3.11 extras (LiteralString, TypeVarTuple, data_class_transform, TypedDict required keys) arrive or prototype; tensor-shape typing adds type arithmetic and broadcasting with a canonicalization plan; runtime utilities (typeguard, beartype, pydantic, get_overloads, reveal_type, assert_never) are shipping and tested; PEP 563 stay-on-hold while PEP 649 offers closure-based lazy resolution; benchmarks and prototypes exist and many ideas are built and iterated though some semantics and tooling gaps remain.
AI-written summary · about
chapters (8)
- 0:00“New typing features in Python 3.10 and 3.11”, David Foster
- 17:51“Typing of Tensor Shapes and Type Arithmetic”, Alfonso Castaño
- 39:15“Too small for a PEP: minor new typing features in Python 3.11”, Jelle Zijlstra
- 1:00:43Extending PEP 647: User-Defined Type Guards”, Rebecca Chen
- 1:19:07“The future of TypedDict" and "Runtime uses for type annotations: A survey of tools”, David Foster
- 1:50:30“Runtime Annotations: PEP 563 & 649 Overview”, Carl Meyer
- 2:21:05“Beyond Subtyping”, Kevin Millikin
- 2:50:44“Panel: Typing-sig and Python Core Dev”, Guido van Rossum, Pablo Galindo Salgado, Thomas Wouters, Jelle Zijlstra, Pradeep Kumar Srinivasan, Matthew Rahtz
