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

Динамическая, но с элементами статической благодаря аннотациям типов.

В динамической типизации тип переменной определяется во время выполнения программы на основе присвоенного ей значения.

# Динамическая типизация: x может принимать разные типы данных
x = 10  # int
x = "hello" # str

С версии Python 3.5 добавлены аннотации типов (type hints), которые позволяют указывать ожидаемый тип переменной, аргумента функции или возвращаемого значения. Это не делает Python статически типизированным языком в классическом понимании, но позволяет использовать статические анализаторы кода (например, mypy) для проверки типов до выполнения программы.

# Аннотации типов
def greet(name: str) -> str:
    return f"Hello, {name}"

age: int = 30

Основные отличия динамической и статической типизации:

Несмотря на аннотации, Python остается динамически типизированным языком, так как проверка типов во время выполнения все равно происходит, и можно присвоить переменной значение другого типа, даже если была синтаксическая аннотация. Аннотации служат для улучшения читаемости кода, облегчения отладки и использования инструментов статического анализа.