BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//programme.europython.eu//europython-2024//speaker//XKDR9
 U
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-europython-2024-G3PHLZ@programme.europython.eu
DTSTART;TZID=CET:20240710T121000
DTEND;TZID=CET:20240710T125500
DESCRIPTION:[PEP 729 – Typing governance process](https://peps.python.org
 /pep-0729/) proposes a new way to govern the Python type system. The PEP w
 as endorsed by maintainers of all major type checkers. This talk aims to g
 uide the audience to understand the reason more deeply of this new process
  after demystifying Python types.\n\nIn this talk\, the speaker will demys
 tify python types from their theory to practice along with Python type sys
 tems. The theory includes the type theory by [Per Martin-Löf](https://en.
 wikipedia.org/wiki/Per_Martin-L%C3%B6f)'s and [gradual typing by Jeremy Si
 ek](http://scheme2006.cs.uchicago.edu/13-siek.pdf)\, all theories will be 
 explained with the Python code in the real world. The type system targets 
 all major type checkers and CPython. The comparison will be based on the r
 esearch: [Python 3 Types in the Wild: A Tale of Two Type Systems](https://
 www.cs.rpi.edu/~milanova/docs/dls2020.pdf). The practice covers how a new 
 specification is done in type systems. In addition\, the speaker will shar
 e their thoughts about the challenges behind the implementation\, and conn
 ect the answer to the reason for the PEP 729.
DTSTAMP:20260310T181616Z
LOCATION:Forum Hall
SUMMARY:Demystify Python Types for PEP 729 - Kir Chou
URL:https://programme.europython.eu/europython-2024/talk/G3PHLZ/
END:VEVENT
END:VCALENDAR