|
About the Typing category
|
|
2
|
1479
|
October 17, 2023
|
|
Clarifying that type checkers should not emit diagnostics in `if not TYPE_CHECKING`
|
|
3
|
62
|
April 8, 2026
|
|
`cls: type[T]` and `super()`
|
|
2
|
107
|
April 8, 2026
|
|
Spec change: ambiguous arguments in overload call evaluation
|
|
1
|
89
|
April 8, 2026
|
|
Parameter specifications should have variance
|
|
5
|
304
|
April 8, 2026
|
|
Shorthand syntax for Annotated (Type @ [metadata])
|
|
2
|
104
|
April 8, 2026
|
|
Clarify `Final` assignment
|
|
4
|
158
|
April 7, 2026
|
|
Infer dictionary literals as TypedDict
|
|
5
|
201
|
April 7, 2026
|
|
Can we have a more truthful typeshed annotation for `dataclasses.field`?
|
|
4
|
155
|
April 3, 2026
|
|
Self as TypeVar default
|
|
14
|
692
|
April 1, 2026
|
|
Call for Typing Council nominations – March 2026
|
|
5
|
678
|
March 31, 2026
|
|
Spec change: Inference with TypeVarTuple
|
|
8
|
254
|
March 30, 2026
|
|
Detecting if state is possibly mutated by a function
|
|
3
|
370
|
March 22, 2026
|
|
`__hash__`, `__eq__`, and LSP
|
|
26
|
1554
|
March 17, 2026
|
|
PyCon 2026 Typing Summit: Thu May 14, 1-5pm
|
|
1
|
375
|
March 16, 2026
|
|
Extend type hints to cover exceptions
|
|
56
|
13832
|
March 16, 2026
|
|
Post-"with" binding of a context manager result
|
|
2
|
211
|
March 16, 2026
|
|
`Callable` isn't a special form
|
|
4
|
353
|
March 9, 2026
|
|
Suggestion to change `typing.is_typeddict`'s return type to `TypeIs[_TypedDictProtocol]`
|
|
4
|
209
|
March 2, 2026
|
|
Proposal to Improve Support for Other Python Platforms in the Typing Specification
|
|
20
|
941
|
February 21, 2026
|
|
PEP 747: TypeExpr: Type Hint for a Type Expression
|
|
102
|
9366
|
February 19, 2026
|
|
Allow type: ignore Mypy style error codes in conformance tests
|
|
10
|
631
|
February 18, 2026
|
|
[PEP 483] I think that 'being a subtype of' in this PEP are wrong
|
|
4
|
350
|
February 17, 2026
|
|
Static Reflection for Schema Types (FieldKey and FieldType)
|
|
26
|
876
|
February 14, 2026
|
|
Make __replace__ stop interfering with variance inference
|
|
43
|
1899
|
February 11, 2026
|
|
PEP 746: TypedMetadata for type checking of PEP 593 Annotated
|
|
83
|
3777
|
February 10, 2026
|
|
Documenting Use of `abc.abstractmethod` in Non-`ABCMeta` Classes
|
|
4
|
261
|
February 8, 2026
|
|
Proposal: LiteralEnum — runtime literals with static exhaustiveness
|
|
28
|
644
|
February 6, 2026
|
|
Amend PEP 586 to make `enum` values subtypes of `Literal`
|
|
13
|
1611
|
February 5, 2026
|
|
`TypeMap`: Generalizing `overload` semantics
|
|
36
|
1221
|
February 2, 2026
|