Что подразумевается под типизацией в Python и как она реализована?

Типизация в Python — это система, которая определяет, какие типы данных могут использоваться и как они взаимодействуют.

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

• Динамическая — тип переменной определяется во время выполнения, а не заранее.
• Сильная — операции между несовместимыми типами вызывают ошибки, например, нельзя сложить строку и число без явного преобразования.

Реализация типизации в Python:

• Переменные не привязаны к типу, а к объекту, который имеет тип.
• Типы объектов определяются во время выполнения.
• Есть поддержка аннотаций типов (type hints) для статического анализа, но они не влияют на выполнение.

Пример динамической типизации:

x = 10       # x ссылается на int
x = "text"  # теперь x ссылается на str

Пример сильной типизации:

print(5 + "5")  # Ошибка TypeError

Аннотации типов:

def greet(name: str) -> str:
    return "Hello, " + name