Обладает ли Python свойством динамической типизации?

Что хотят услышать интервьюеры:

Да, Python относится к языкам с динамической типизацией. Тип переменной определяется во время выполнения, а не заранее на этапе объявления. При этом тип у значения есть всегда, и Python строго проверяет совместимость операций.

Определение:

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

Пример использования:

x = 10        # x ссылается на объект типа int
x = "hello"   # теперь x ссылается на объект типа str

Такой код корректен, потому что Python определяет тип значения в момент выполнения.

Пояснение кода:

Код нужен, чтобы показать, как одна и та же переменная может ссылаться на объекты разных типов.

1. Сначала x получает значение 10, и Python связывает имя x с объектом типа int.
2. Затем x присваивается строка "hello".
3. Старое значение не изменяется, просто имя x теперь указывает на другой объект.
4. Ошибка возникнет не при присваивании, а если попытаться выполнить несовместимую операцию над типами.

Например:

x = 10
x = "hello"
print(x + 5)

Здесь будет ошибка, потому что строку нельзя сложить с числом.

Ключевые моменты:

• Python — язык с динамической типизацией.
• Тип определяется во время выполнения, а не при объявлении переменной.
• Тип принадлежит объекту, а не переменной.
• Одна переменная может ссылаться на объекты разных типов в разное время.
• Динамическая типизация не означает отсутствие проверки типов: Python проверяет их строго при выполнении операций.
• Это удобно для гибкости, но требует внимательности, чтобы не получить runtime error.