Demystify Python Types for PEP 729

Explore the intricacies of Python types and gain a deeper understanding of PEP 729 in this 44-minute conference talk from EuroPython 2024. Delve into the theoretical foundations of type systems, including Per Martin-Löf's type theory and Jeremy Siek's gradual typing, with practical Python code examples. Compare major type checkers and CPython based on recent research, and learn about the process of implementing new specifications in type systems. Discover the challenges behind implementation and understand the rationale for PEP 729, which proposes a new governance process for the Python type system. Gain valuable insights into the future of Python typing and its impact on the language's ecosystem.