Какие ограничения TypeScript существуют относительно runtime?

Ограничения TypeScript в рантайме

TypeScript — это строгая статическая типизация, но она существует только на этапе разработки и компиляции. Когда код компилируется в JavaScript, все типы стираются. Это ключевое ограничение: TypeScript не добавляет никаких runtime-проверок.

Пример стирания типов

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

// После компиляции в JavaScript:
function add(a, b) {
  return a + b;
}

Как видно, аннотации типов полностью удалены. В рантайме можно передать строку или объект, и TypeScript не сможет это предотвратить.

Практические последствия

• Нет проверки типов во время выполнения — ошибки могут проявиться только при выполнении кода.
• Нельзя использовать типы для валидации данных из внешних источников (API, пользовательский ввод).
• Нет рефлексии типов — нельзя получить информацию о типе во время выполнения.

Как обойти ограничения

Для runtime-валидации используют сторонние библиотеки, например, Zod или io-ts, которые создают схемы, работающие и в рантайме. Также можно использовать пользовательские проверки с typeof или instanceof.

Вывод

TypeScript полезен для статического анализа и предотвращения ошибок на этапе разработки, но не заменяет runtime-валидацию. Для критичных данных из внешних источников всегда используйте дополнительные проверки.