Что такое type checking

Type checking — это процесс проверки типов данных переменных, аргументов функций и возвращаемых значений во время компиляции (статическая проверка) или выполнения (динамическая проверка). Python использует динамическую типизацию, но с mypy или аннотациями типов (typing) можно добавить статическую проверку.

Пример с аннотациями:

def greet(name: str) -> str:
    return f"Hello, {name}"

greet("Alice")  # OK
greet(42)       # Вызовет предупреждение в mypy

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

• Динамическая проверка: Python проверяет типы во время выполнения (например, int + str вызовет TypeError).
• Статическая проверка: Инструменты вроде mypy анализируют код до выполнения, используя аннотации типов.
• Duck typing: Python фокусируется на поведении объектов, а не их типах ("if it walks like a duck...").