Какая типизация используется в Python — статическая или динамическая?

Python использует динамическую типизацию: тип принадлежит объекту и проверяется во время выполнения. Имя переменной может последовательно ссылаться на объекты разных типов.

Например, x = 10, затем x = "text" допустимо. Это не означает отсутствие типов: выражение 1 + "2" обычно вызывает TypeError, а не автоматически складывает число со строкой.

Аннотации x: int помогают инструментам статической проверки, но сами по себе не включают обязательную проверку типов интерпретатором. Динамическую типизацию не нужно путать со слабой или с интерпретируемым способом исполнения.