Skip to main content

Demystify Python Types for PEP 729

Track:
Python Internals & Ecosystem
Type:
Talk (long session)
Level:
intermediate
Room:
Forum Hall
Start:
12:10 on 10 July 2024
Duration:
45 minutes

Abstract

PEP 729 – Typing governance process proposes a new way to govern the Python type system. The PEP was endorsed by maintainers of all major type checkers. This talk aims to guide audience to understand the reason more deeply of this new process after demystifying Python types.

In this talk, the speaker will demystify python types from their theory to practice along with Python type systems. The theory includes the type theory by Per Martin-Löf’s and gradual typing by Jeremy Siek, all theories will be explained with the Python code in the real world. The type systems targets all major type checkers and CPython. The comparison will be based on the research: Python 3 Types in the Wild: A Tale of Two Type Systems. The practice covers how a new specification is done in type systems. In addition, the speaker will share their thoughts about the challenges behind the implementation, and connect the answer to the reason of the PEP 729.


The speaker

Kir Chou

Kir Chou

Kir is a Pythonista from the PyCon Taiwan community and lives in Tokyo.

💼Kir’s works: Geo and Search systems to solve i18n and l10n user experience.

💕Kir’s hobby: 🍷🍶🍺🏂🧗⛰️🧑‍🌾🏃

See Kir’s past PyCon talks in https://note35.github.io/about/talks