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

1️⃣ Как кратко ответить

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

2️⃣ Подробное объяснение темы

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

Зачем нужна статическая типизация

1. Раннее обнаружение ошибок: Ошибки, связанные с типами данных, выявляются на этапе компиляции, что снижает вероятность возникновения ошибок во время выполнения программы.
2. Улучшение производительности: Компилятор может оптимизировать код, зная типы данных заранее.
3. Улучшение читаемости и поддержки кода: Явное указание типов делает код более понятным и облегчает его поддержку.

Применение

Статическая типизация используется в языках программирования, таких как TypeScript, Java, C++, где типы данных должны быть определены до выполнения программы. В контексте фронтенда, TypeScript является ярким примером языка со статической типизацией, который компилируется в JavaScript.

Пример кода на TypeScript

// Объявление переменной с явным указанием типа
let userName: string = "Alice";
​
// Функция с параметрами и возвращаемым значением с указанными типами
function greet(user: string): string {
    return "Hello, " + user;
}
​
// Вызов функции с корректным типом аргумента
let greeting: string = greet(userName);
​
// Попытка присвоить значение неправильного типа вызовет ошибку на этапе компиляции
// let age: number = "25"; // Ошибка: Тип 'string' не может быть присвоен типу 'number'.

• let userName: string = "Alice";: Объявление переменной userName с типом string. Это означает, что userName может содержать только строковые значения.
• function greet(user: string): string { ... }: Объявление функции greet, которая принимает параметр user типа string и возвращает значение типа string.
• let greeting: string = greet(userName);: Вызов функции greet с аргументом userName. Переменная greeting также имеет тип string.
• let age: number = "25";: Пример ошибки, которая будет обнаружена на этапе компиляции, так как строка "25" не может быть присвоена переменной типа number.

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