|
Allowing specializing a bound, covariant `TypeVar` with a `Protocol` as a limited form of intersection
|
|
2
|
146
|
May 18, 2026
|
|
Type-hinted, single file modules, empty optional stubs (but for py.typed), and PEP 561
|
|
0
|
100
|
May 17, 2026
|
|
Reinstantiating a generic class with a different specialization
|
|
30
|
542
|
May 17, 2026
|
|
PEP 821: Support for unpacking TypedDicts in Callable type hints
|
|
8
|
783
|
May 16, 2026
|
|
Self as TypeVar default
|
|
16
|
954
|
May 13, 2026
|
|
Associated types
|
|
5
|
682
|
May 7, 2026
|
|
Subclassing generics with type parameter as default is ambiguous at runtime
|
|
1
|
198
|
May 1, 2026
|
|
Adding a `module=` keyword argument to `typing.TypeAliasType`
|
|
4
|
310
|
April 30, 2026
|
|
PEP 718: subscriptable functions
|
|
102
|
13368
|
April 28, 2026
|
|
Parameter specification and type variable tuple should support bounds
|
|
5
|
216
|
April 23, 2026
|
|
PEP 800: Solid bases in the type system
|
|
41
|
3163
|
April 16, 2026
|
|
SPy: a new companion static language for Python; thoughts?
|
|
3
|
557
|
April 13, 2026
|
|
Introduce a `typing.NoBound`
|
|
1
|
234
|
April 9, 2026
|
|
PEP 764: Inlined typed dictionaries
|
|
99
|
7671
|
April 3, 2026
|
|
Add alternatives to TypeIs for user-defined assertions
|
|
3
|
297
|
March 25, 2026
|
|
Detecting if state is possibly mutated by a function
|
|
3
|
414
|
March 22, 2026
|
|
Proposal for two new typing constructs: `MemberNames[T]` and `MemberTypes[T]`
|
|
19
|
750
|
March 21, 2026
|
|
`__hash__`, `__eq__`, and LSP
|
|
26
|
1703
|
March 17, 2026
|
|
Post-"with" binding of a context manager result
|
|
2
|
251
|
March 16, 2026
|
|
Check whether an object agrees deeply with a type
|
|
1
|
125
|
March 13, 2026
|
|
PEP 767: Annotating Read-Only Attributes
|
|
124
|
6815
|
March 12, 2026
|
|
Proposal: Optional Explicit covariance/contravariance for PEP 695
|
|
18
|
1505
|
March 10, 2026
|
|
`__assignment_to_self__`, `__meta__` dunders, `meta()` magic-method, `pureread()`, `purewrite()`, `purefunc()` builtins
|
|
12
|
315
|
March 10, 2026
|
|
Type checking only external APIs?
|
|
3
|
170
|
March 9, 2026
|
|
`Callable` isn't a special form
|
|
4
|
418
|
March 9, 2026
|
|
Stubs and docstrings: official recommendations?
|
|
16
|
669
|
March 4, 2026
|
|
Packaging type stubs in/for multiple human languages
|
|
6
|
284
|
February 26, 2026
|
|
Interactive graph
|
|
3
|
139
|
February 19, 2026
|
|
PEP 746: TypedMetadata for type checking of PEP 593 Annotated
|
|
83
|
4140
|
February 10, 2026
|
|
Confusing Type Behavior of typing.NewType construct for Pyright
|
|
4
|
255
|
February 9, 2026
|