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 (Video: https://www.youtube.com/watch?v=6G-67gGgTl0)

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 (Videos: https://www.youtube.com/watch?v=WEFdYKcK8SM, https://www.youtube.com/watch?v=CmXQOoiMy-g)

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

Summit Video: https://www.youtube.com/watch?v=BNTkWQfqP_c&t=1s

Timestamps:

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:43 - Extending 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