Typing Summit

The Typing Summit will be held at PyCon US on Thursday, April 28th from 1-5pm, in Room 253AB.

(All times in Mountain Time)

Agenda:

1:00-1:20 – Settling in and introductions

1:20-1:35 – “New typing features in Python 3.10 and 3.11”, David Foster

1:35-1:55 – “Typing of Tensor Shapes and Type Arithmetic”, Alfonso Castaño

1:55-2:10 – “Too small for a PEP: minor new typing features in Python 3.11”, Jelle Zijlstra

(2:10-2:25 – Buffer/Break)

2:25-2:40 – “Extending PEP 647: User-Defined Type Guards”, Rebecca Chen

2:40-3:05 – “The future of TypedDict" and "Runtime uses for type annotations: A survey of tools”, David Foster

3:05-3:35 – “Runtime Annotations: PEP 563 & 649 Overview”, Carl Meyer

(3:35-3:50 – Buffer/Break)

3:50-4:25 – “Beyond Subtyping”, Kevin Millikin

4:25-4:55 – “Panel: Typing-sig and Python Core Dev”, Guido van Rossum, Pablo Galindo Salgado, Jelle Zijlstra, Pradeep Kumar Srinivasan, Matthew Rahtz