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

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

Пример в TypeScript:

function add(a: number, b: number): number {
    return a + b;
}

add(2, 3); // OK
add('2', 3); // Ошибка компиляции: аргумент '2' несовместим с типом number

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

• Раннее обнаружение ошибок
• Улучшенная поддержка IDE (автодополнение, рефакторинг)
• Более понятный код за счет явного указания типов

Недостатки:

• Дополнительное время на описание типов
• Необходимость компиляции (для языков, которые её требуют)