Что такое аннотации типов и проверяются ли они при выполнении?

Аннотации пишутся у параметров, возвращаемого значения и переменных: def greet(name: str) -> str. Python сохраняет их в __annotations__, но передать в функцию число вместо строки он не помешает — ошибка проявится только там, где код реально не сможет работать с числом.

Зачем они нужны:

• статическая проверка — mypy или pyright находят ошибки типов до запуска, в том числе в CI;
• IDE — точное автодополнение и навигация;
• документация — сигнатура говорит, что функция принимает и возвращает;
• библиотеки читают их во время выполнения: dataclasses, pydantic, FastAPI проверяют и преобразуют данные по аннотациям.

Основные конструкции:

• коллекции: list[str], dict[str, int], tuple[int, ...];
• значение или None: str | None (раньше Optional[str]);
• несколько типов: int | str;
• вызываемые объекты: Callable[[int], str];
• Any — отключить проверку для значения;
• Protocol — утиная типизация: «любой объект с методом read».

from dataclasses import dataclass

def find_user(user_id: int) -> "User | None":
    ...

@dataclass
class User:
    id: int
    name: str
    tags: list[str]

def total(prices: dict[str, float]) -> float:
    return sum(prices.values())

total({"кофе": 250.0})      # mypy: ок
total(["кофе"])             # mypy: ошибка ещё до запуска; Python упадёт только на .values()