Что такое строгая динамическая типизация в Python

Python использует строгую динамическую типизацию.

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

x = 42      # int
x = "hello" # str (тип изменился)

Строгая типизация подразумевает, что неявные преобразования между несовместимыми типами запрещены. Например:

print("10" + 5)  # TypeError (нельзя сложить str и int)

В отличие от слабой типизации (как в JavaScript), где "10" + 5 даст "105".

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