PEP 483
E911254
PEP 483 is a Python Enhancement Proposal that lays out the theoretical foundations and design principles for Python’s type hinting and generic types system.
All labels observed (1)
| Label | Occurrences |
|---|---|
| PEP 483 canonical | 2 |
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf | Python Enhancement Proposal ⓘ |
| author | Ivan Levkivskyi NERFINISHED ⓘ |
| category | Typing PEP NERFINISHED ⓘ |
| clarifies |
difference between runtime isinstance checks and static type checking
ⓘ
treatment of None and Optional ⓘ treatment of containers with type parameters ⓘ use of Any in type hints ⓘ use of Union types ⓘ |
| createdFor | Python type hinting ecosystem ⓘ |
| defines |
design principles for Python’s type system
ⓘ
theoretical foundations of Python type hints ⓘ |
| explains |
how type hints interact with duck typing
ⓘ
how type hints should be interpreted by type checkers ⓘ use of protocols for structural subtyping ⓘ |
| hostLanguage | English NERFINISHED ⓘ |
| influences |
type checkers for Python
ⓘ
typing module design ⓘ |
| language | Python NERFINISHED ⓘ |
| maintainer | Python core developers NERFINISHED ⓘ |
| number | 483 ⓘ |
| precedes | PEP 484 NERFINISHED ⓘ |
| relatedTo |
PEP 526
NERFINISHED
ⓘ
PEP 544 NERFINISHED ⓘ PEP 560 NERFINISHED ⓘ |
| relatesTo | PEP 484 NERFINISHED ⓘ |
| repository | Python PEPs repository ⓘ |
| scope |
container and collection typing
ⓘ
contravariance ⓘ covariance ⓘ generic classes ⓘ invariance ⓘ nominal vs structural typing in Python ⓘ relationship between runtime and static types ⓘ semantics of type hints ⓘ type parameterization ⓘ |
| status | Accepted ⓘ |
| title | The Theory of Type Hints NERFINISHED ⓘ |
| topic |
generic types
ⓘ
protocols ⓘ static typing ⓘ subtyping ⓘ type hints ⓘ typing semantics ⓘ variance ⓘ |
| type | Informational PEP NERFINISHED ⓘ |
| url | https://peps.python.org/pep-0483/ ⓘ |
| usedBy |
Python library authors
ⓘ
type checker authors ⓘ typing module designers ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.