Type hints в Python: Optional, Union, generics list[int]/dict[str, T], Protocol vs ABC

Type hints — статические аннотации типов из модуля typing. Они не проверяются интерпретатором, но используются mypy/pyright/IDE. С Python 3.9+ можно писать list[int] без импорта, с 3.10+ — int | None вместо Optional[int]. Protocol задаёт структурный (duck) типинг — «всё, что реализует метод X», аналог TypeScript-интерфейсов. ABC задаёт номинальную иерархию через наследование.