Що таке статична і динамічна типізації?

Повне пояснення

Що це і навіщо

• Статична типізація – визначення типів змінних, параметрів і повертаємих значень на етапі компіляції. Це дозволяє виявити помилки ще до запуску коду, підвищуючи надійність і читабельність.
• Динамічна типізація – визначення типів під час виконання. JavaScript, Python, Ruby тощо працюють динамічно, що забезпечує гнучкість, але збільшує ризик runtime‑помилок.

Ключові принципи/терміни

• Тип – опис структури даних (наприклад, number, string, Array<string>).
• Типова система – набір правил, що визначає, які операції допустимі для конкретного типу.
• TypeScript – надбудова над JavaScript, що додає статичну типізацію.
• JSDoc – коментарі, що дозволяють інструментам типізувати JavaScript.

Як це працює

• У статичній типізації компілятор (наприклад, tsc) аналізує код, порівнює типи і генерує помилки при несумісності.
• У динамічній типізації браузер або V8 виконують код, визначаючи типи під час кожної операції.

Практика і реалізація (JavaScript/TypeScript)

// TypeScript – статична типізація
function sum(a: number, b: number): number {
  return a + b;
}

// JavaScript – динамічна типізація
function sum(a, b) {
  return a + b;
}

Тестування

• Для TypeScript можна використовувати Jest з ts-jest для типового тестування.
• Для JavaScript – Jest без додаткових налаштувань, але можна перевіряти типи через typeof.

Безпека та приватність

• Статична типізація допомагає уникнути небажаних типових помилок, що може зменшити вразливості.
• Динамічна типізація потребує ретельної валідації вводу, особливо у бекенді.

Оптимізація

• Статичні типи дозволяють інструментам оптимізувати код під час компіляції.
• Динамічні типи можуть призвести до додаткових перевірок у runtime.

Часті помилки

1. Невідповідність типу – передача string там, де очікується number.
2. Неявне типування – використання any, що знижує переваги статичної типізації.
3. Втрата типу при розпакуванні – неправильне використання as у TypeScript.
4. Перевантаження функцій – в JavaScript немає перевантажень, тому треба обробляти різні сигнатури вручну.

Cheatsheet

• number, string, boolean, Array<T>, Record<K, V>, unknown, any.
• interface, type, enum – для складних типів.

Follow‑up питання

• Як працює unknown у TypeScript? – відповідає, що це тип безпеки, який потребує перевірки перед використанням.
• Чому any слід уникати? – бо він відключає перевірку типів, що порушує переваги статичної типізації.