Python Enhancement Proposals

Python »
PEP Index »
Typing PEPs

Typing PEPs

Introduction

This is the index of all Python Enhancement Proposals (PEPs) labelledunder the ‘Typing’ topic. This is a sub-index of PEP 0,the PEP index.

Many recent PEPs propose changes to Python’s static type systemor otherwise relate to type annotations.They are listed here for reference.

Index by Category

Process and Meta-PEPs

	PEP	Title	Authors
PA	729	Typing governance process	Jelle Zijlstra, Shantanu Jain

Other Informational PEPs

	PEP	Title	Authors
IF	482	Literature Overview for Type Hints	Łukasz Langa
IF	483	The Theory of Type Hints	Guido van Rossum, Ivan Levkivskyi

Accepted PEPs (accepted; may not be implemented yet)

	PEP	Title	Authors
SA	728	TypedDict with Typed Extra Items	Zixuan James Li	3.15

Open PEPs (under consideration)

	PEP	Title	Authors
S	718	Subscriptable functions	James Hilton-Balfe	3.15
S	746	Type checking Annotated metadata	Adrian Garcia Badaracco	3.15
S	747	Annotating Type Forms	David Foster, Eric Traut	3.15
S	764	Inline typed dictionaries	Victorien Plot	3.15
S	767	Annotating Read-Only Attributes	Eneg	3.15
S	781	Make TYPE_CHECKING a built-in constant	Inada Naoki	3.15
S	800	Disjoint bases in the type system	Jelle Zijlstra	3.15

Finished PEPs (done, with a stable interface)

	PEP	Title	Authors
SF	484	Type Hints	Guido van Rossum, Jukka Lehtosalo, Łukasz Langa	3.5
SF	526	Syntax for Variable Annotations	Ryan Gonzalez, Philip House, Ivan Levkivskyi, Lisa Roach, Guido van Rossum	3.6
SF	544	Protocols: Structural subtyping (static duck typing)	Ivan Levkivskyi, Jukka Lehtosalo, Łukasz Langa	3.8
SF	560	Core support for typing module and generic types	Ivan Levkivskyi	3.7
SF	561	Distributing and Packaging Type Information	Emma Harper Smith	3.7
SF	585	Type Hinting Generics In Standard Collections	Łukasz Langa	3.9
SF	586	Literal Types	Michael Lee, Ivan Levkivskyi, Jukka Lehtosalo	3.8
SF	589	TypedDict: Type Hints for Dictionaries with a Fixed Set of Keys	Jukka Lehtosalo	3.8
SF	591	Adding a final qualifier to typing	Michael J. Sullivan, Ivan Levkivskyi	3.8
SF	593	Flexible function and variable annotations	Till Varoquaux, Konstantin Kashin	3.9
SF	604	Allow writing union types as X \| Y	Philippe PRADOS, Maggie Moss	3.10
SF	612	Parameter Specification Variables	Mark Mendoza	3.10
SF	613	Explicit Type Aliases	Shannon Zhu	3.10
SF	646	Variadic Generics	Mark Mendoza, Matthew Rahtz, Pradeep Kumar Srinivasan, Vincent Siles	3.11
SF	647	User-Defined Type Guards	Eric Traut	3.10
SF	649	Deferred Evaluation Of Annotations Using Descriptors	Larry Hastings	3.14
SF	655	Marking individual TypedDict items as required or potentially-missing	David Foster	3.11
SF	673	Self Type	Pradeep Kumar Srinivasan, James Hilton-Balfe	3.11
SF	675	Arbitrary Literal String Type	Pradeep Kumar Srinivasan, Graham Bleaney	3.11
SF	681	Data Class Transforms	Erik De Bonte, Eric Traut	3.11
SF	688	Making the buffer protocol accessible in Python	Jelle Zijlstra	3.12
SF	692	Using TypedDict for more precise **kwargs typing	Franek Magiera	3.12
SF	695	Type Parameter Syntax	Eric Traut	3.12
SF	696	Type Defaults for Type Parameters	James Hilton-Balfe	3.13
SF	698	Override Decorator for Static Typing	Steven Troxler, Joshua Xu, Shannon Zhu	3.12
SF	702	Marking deprecations using the type system	Jelle Zijlstra	3.13
SF	705	TypedDict: Read-only items	Alice Purcell	3.13
SF	742	Narrowing types with TypeIs	Jelle Zijlstra	3.13
SF	749	Implementing PEP 649	Jelle Zijlstra	3.14

Rejected, Superseded, and Withdrawn PEPs

	PEP	Title	Authors
SS	563	Postponed Evaluation of Annotations	Łukasz Langa	3.7
SR	677	Callable Type Syntax	Steven Troxler, Pradeep Kumar Srinivasan	3.11
SW	724	Stricter Type Guards	Rich Chiodo, Eric Traut, Erik De Bonte	3.13
SW	727	Documentation in Annotated Metadata	Sebastián Ramírez	3.13

PEP Types Key

I —Informational: Non-normative PEP containing background, guidelines or other information relevant to the Python ecosystem
P —Process: Normative PEP describing or proposing a change to a Python community process, workflow or governance
S —Standards Track: Normative PEP with a new feature for Python, implementation change for CPython or interoperability standard for the ecosystem

More info in PEP 1.

PEP Status Key

A —Accepted: Normative proposal accepted for implementation
A —Active: Currently valid informational guidance, or an in-use process
D —Deferred: Inactive draft that may be taken up again at a later time
<No letter> —Draft: Proposal under active discussion and revision
F —Final: Accepted and implementation complete, or no longer active
P —Provisional: Provisionally accepted but additional feedback needed
R —Rejected: Formally declined and will not be accepted
S —Superseded: Replaced by another succeeding PEP
W —Withdrawn: Removed from consideration by sponsor or authors

More info in PEP 1.

Movatterモバイル変換

Typing PEPs

Introduction

Index by Category

Process and Meta-PEPs

Other Informational PEPs

Accepted PEPs (accepted; may not be implemented yet)

Open PEPs (under consideration)

Finished PEPs (done, with a stable interface)

Rejected, Superseded, and Withdrawn PEPs

PEP Types Key

PEP Status Key