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

Search