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

Строгая типизация — это свойство языка программирования, при котором переменные имеют фиксированный тип данных, и их нельзя изменить после объявления. Компилятор проверяет соответствие типов на этапе компиляции, предотвращая неявные преобразования.

Пример в Java:

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

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

• Раннее обнаружение ошибок
• Читаемость кода
• Оптимизация компилятором

Недостатки:

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

Java — строго типизированный язык, но с поддержкой автоупаковки/распаковки и generics для удобства.