Статическая типизация — это подход, при котором типы переменных проверяются на этапе компиляции, а не во время выполнения. Это позволяет выявлять ошибки, связанные с несоответствием типов, до запуска программы. Пример в статически типизированном языке (например, 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 (автодополнение, подсказки). **Недостатки:** - Больше кода для написания. - Жёсткие ограничения на типы.