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

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

Пример в Java:

int number = 10;
String text = "Hello";
// number = text; // Ошибка компиляции: несовместимые типы

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

• Раннее обнаружение ошибок
• Лучшая производительность (оптимизации на этапе компиляции)
• Улучшенная читаемость кода

Недостатки:

• Меньшая гибкость по сравнению с динамической типизацией
• Необходимость явно указывать типы