PEP 613
E904863
PEP 613 is a Python Enhancement Proposal that introduces the `TypeAlias` annotation to clearly declare and distinguish type aliases in Python’s type hinting system.
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf | Python Enhancement Proposal ⓘ |
| aimsTo | reduce ambiguity in type alias declarations ⓘ |
| author |
Jelle Zijlstra
NERFINISHED
ⓘ
Pradeep Kumar Srinivasan NERFINISHED ⓘ |
| belongsTo | Python PEP index NERFINISHED ⓘ |
| buildsOn |
PEP 484
NERFINISHED
ⓘ
PEP 526 NERFINISHED ⓘ PEP 544 NERFINISHED ⓘ |
| category | Typing PEP NERFINISHED ⓘ |
| clarifies |
difference between simple assignment and type alias declaration
ⓘ
how type checkers should treat TypeAlias ⓘ |
| createdForPythonVersion | Python 3.10 NERFINISHED ⓘ |
| definesConcept | explicit type aliases ⓘ |
| definesName |
typing.TypeAlias
NERFINISHED
ⓘ
typing_extensions.TypeAlias ⓘ |
| definesSyntax | AliasName: TypeAlias = ExistingType ⓘ |
| discusses |
distinguishing type aliases from normal variables
ⓘ
forward references in type aliases ⓘ runtime behavior of TypeAlias ⓘ |
| discussesModule |
typing
NERFINISHED
ⓘ
typing_extensions NERFINISHED ⓘ |
| governingBody | Python Steering Council NERFINISHED ⓘ |
| hasAbbreviation | PEP-613 ⓘ |
| hasNumber | 613 ⓘ |
| hasTitle | Explicit Type Aliases NERFINISHED ⓘ |
| hostedOn | https://peps.python.org/pep-0613/ ⓘ |
| introducedIn | Python 3.10 NERFINISHED ⓘ |
| language | English ⓘ |
| motivation |
to clearly declare and distinguish type aliases from regular variables
ⓘ
to help type checkers recognize type aliases ⓘ to improve readability of type hints ⓘ |
| proposesFeature | TypeAlias annotation ⓘ |
| relatedTo |
PEP 585
NERFINISHED
ⓘ
PEP 604 NERFINISHED ⓘ PEP 649 NERFINISHED ⓘ |
| relatesTo |
Python type hinting
ⓘ
static type checking ⓘ |
| requires | PEP 484 NERFINISHED ⓘ |
| standardizes | notation for type aliases ⓘ |
| status | Accepted ⓘ |
| targetAudience |
Python application developers
ⓘ
Python library authors ⓘ type checker authors ⓘ |
| topic |
Python language design
ⓘ
Python typing NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.