Typing Summit
Where and When
DATE: Friday, May 16th, 2025
TIME: 2-6pm
LOCATION: Room 319, David L. Lawrence Convention Center, Pittsburgh, PA, USA
Who can attend?
You can! No invitation or pre-registration is required.
Agenda
(Each item up to 30min.)
- Welcome and introductions (just name and affiliation)
- Teaching About Type Annotation and Type Checking in Python (Gregory M. Kapfhammer)
- Make Invalid States Unrepresentable (Bruce Eckel)
- Using types for efficient runtime object representations in mypyc (Jukka Lehtosalo)
- Introducing Astral's type checker (Carl Meyer) and Pyrefly (Steven Troxler)
- Preventing unwanted mutation with PyreReadOnly (Amritha Raghunath and Jia Chen)
- PEP 695 and Variance Inference (Martin Huschenbett)
- Updates (Rebecca Chen) and Q&A with the Typing Council