Зачем нужна проверка типов

Проверка типов в Python помогает выявлять ошибки на ранних этапах, улучшает читаемость кода и облегчает его поддержку. В Python есть несколько способов проверки типов:

1. Статическая проверка (mypy, pyright) – позволяет находить ошибки до запуска кода.
2. Динамическая проверка (isinstance, type) – проверка во время выполнения.

Пример с isinstance:

def greet(name: str) -> str:
    if not isinstance(name, str):
        raise TypeError("Name must be a string")
    return f"Hello, {name}"

print(greet("Alice"))  # OK
print(greet(42))      # TypeError

Преимущества:

• Предотвращает ошибки типа TypeError
• Улучшает документацию кода
• Облегчает рефакторинг
• Позволяет IDE лучше понимать код

В Python 3.5+ рекомендуется использовать аннотации типов вместе с инструментами статического анализа.