typing
typing copied to clipboard
python
Python static typing home. Hosts the documentation and a user help forum.
I have been frequently using positive and negative infinity as default values for values that should otherwise be `int`s. Because of Python's duck typing this is a convenient pattern that...
There are existing classes that extend things in an abstract way, like ABCs, and things that are `Generic` in theory but not in reality, for example all the `collections` (the...
It would be useful to be able to apply type transformations to `TypeVarTuple`'s types. Some motivating examples: ```python Ts = TypeVarTuple('Ts') class Example(Generic[*Ts]): def __init__(self, *types: *type[Ts]) -> None: self.types...
The documentation (`typing`, PEP 526, PEP 591, PEP 593) is silent on how `Annotated` and `ClassVar`/`Final` should be nested. Intuitively, `Annotated` should appear on the outside, as the annotation applies...
the same way we now have [`TypedDict`](https://www.python.org/dev/peps/pep-0589/), it would be nice to have typed SimpleNamespace with equivalent semantics, so that nested structures can be easily checked. eg ```py class MySubType(TypedSimpleNamespace):...
Hi. I'm just curious why passing arguments to `TypeDict` is strictly constrained. I tried some variants including positional arguments style and failed. It's not reflected in docs or function signature...
Currently, we have `str` and `LiteralStr`. These don't do a good job expressing the range of values a string may have. Let's say we have the following function: ```python Email:...
* Built-in generics * New union syntax * No union return types, use `Any` or `T | Any` * Discuss `Any` vs `object` * Callbacks: Use return type `object` instead...
### Consider this case: ```py import asyncio from typing import Any, Coroutine, Generic, TypeVar from httpx import AsyncClient, Client, Response ClientT = TypeVar("ClientT", bound=Client | AsyncClient) class API(Generic[ClientT]): client: ClientT...
I've found a case where a `Callable` is not allowed when used directly, but is allowed if used as an alias ```python from typing import TypeVar, Callable T = TypeVar('T')...
