Какие проблемы могут возникнуть из-за того, что TypeScript компилируется в JavaScript?

TypeScript — это надстройка над JavaScript, и браузеры или Node.js не умеют исполнять его напрямую. Поэтому код сначала компилируется (транспилируется) в обычный JavaScript. Главная особенность этого процесса — стирание типов: все аннотации типов, интерфейсы, generics и модификаторы доступа исчезают в итоговом файле. Это порождает целый класс проблем, которые важно понимать.

Основные проблемы

• Типы не существуют в рантайме. Нельзя проверить тип во время выполнения или использовать его для валидации данных, пришедших из API.
• Ложное чувство безопасности. Компилятор доверяет вашим аннотациям, но реальные данные могут им не соответствовать.
• Проблемы с target и lib. Если target стоит слишком старый или новый, можно получить неожиданное поведение или неподдерживаемый синтаксис.
• Source maps. Без корректных source maps отладка в браузере показывает скомпилированный JS, а не исходный TS.
• Разные среды. Один и тот же код может вести себя по-разному в браузере и Node.js из-за различий в глобальных объектах.

Пример: типы не защищают в рантайме

interface User {
  name: string;
  age: number;
}

function greet(user: User) {
  // Компилятор уверен, что user.name — строка
  return user.name.toUpperCase();
}

// Данные из API на самом деле не соответствуют типу
const data = JSON.parse('{"name": 42}') as User;
greet(data); // TypeError: user.name.toUpperCase is not a function

Компилятор не увидит проблему, потому что мы сами сказали ему «это User». В рантайме же типов нет, и вызов метода у числа приведёт к ошибке.

Как с этим работать

1. Валидировать внешние данные в рантайме (zod, io-ts, class-validator).
2. Настраивать sourceMap: true и корректный target в tsconfig.json.
3. Не полагаться на типы для проверки данных из сети, localStorage, env-переменных.
4. Использовать strict-режим, чтобы компилятор ловил больше ошибок на этапе сборки.

Итог: TypeScript даёт мощную проверку на этапе разработки, но после компиляции остаётся обычный JavaScript без типов. Поэтому критичные данные нужно валидировать в рантайме, а конфигурацию компилятора настраивать осознанно.