Как работает typing в Python?

Модуль typing предоставляет аннотации типов — List[int], Dict[str, Any], Optional[str], Union[int, str]. Начиная с Python 3.9+ можно использовать встроенные типы: list[int], dict[str, Any]. Типы не проверяются в рантайме — это подсказки для IDE, линтеров и mypy. TypeVar для дженериков, Callable для функций, TypedDict для словарей с фиксированной структурой. В Python 3.10+ появился оператор X | Y вместо Union[X, Y].