Что такое статическая типизация

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

Пример в статически типизированном языке (например, Java):

int number = 42;  // тип int объявлен явно
number = "строка"; // ошибка компиляции: несовместимые типы

В Python используется динамическая типизация, но можно добавить аннотации типов (PEP 484) для статической проверки через mypy:

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

greet(42)  # mypy выдаст ошибку: ожидался str, передан int

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

• Раннее обнаружение ошибок.
• Улучшенная читаемость кода.
• Поддержка IDE (автодополнение, подсказки).

Недостатки:

• Больше кода для написания.
• Жёсткие ограничения на типы.