Three members of the Python Typing Council — Jelle Zijlstra, Rebecca Chen, and Carl Meyer — discuss how the council governs Python's type system, the new Rust-based type checkers (Pyrefly from Meta and ty from Astral), and the unified typing specification at typing.python.org. Key topics include best practices for how much to annotate (focus on API boundaries), ongoing debates like the meaning of float annotations and the numeric tower, the tension between runtime and static typing (PEPs 563/649/749), TypeShed's role, upcoming features like PEP 747 TypeForm, and how type checking serves as guardrails for AI-generated code.
Sort: