На каком этапе возникает ошибка, если в типизированную функцию передать значение неверного типа — на этапе разработки или во время выполнения?

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

Как работает проверка типов

Компилятор TypeScript анализирует код и проверяет соответствие типов. Если вы объявили функцию, ожидающую число, а передаете строку, компилятор выдаст ошибку еще до того, как код будет выполнен. Например:

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

add("hello", 5); // Ошибка: Аргумент типа "string" не присваивается параметру типа "number".

Эта ошибка появится в редакторе кода и при запуске компилятора (tsc). Код не будет скомпилирован в JavaScript, пока ошибка не будет исправлена.

Что происходит во время выполнения

После компиляции TypeScript превращается в обычный JavaScript, и все аннотации типов удаляются. JavaScript — динамически типизированный язык, поэтому во время выполнения никакой проверки типов не происходит. Если бы вы написали тот же код на чистом JavaScript, ошибка проявилась бы только при вызове функции, когда операция сложения строки и числа дала бы неожиданный результат (например, конкатенацию).

Практическое применение

Благодаря раннему обнаружению ошибок TypeScript помогает разработчикам быстрее находить проблемы, улучшает читаемость кода и упрощает рефакторинг. Особенно это полезно в больших проектах, где много разработчиков работают над общим кодом. Ошибки типов выявляются на этапе разработки, что снижает количество багов в продакшне и экономит время на отладке.

Итог: Используйте TypeScript, чтобы перенести проверку типов на этап разработки и избежать ошибок, которые в JavaScript проявились бы только во время выполнения. Это делает код надежнее и предсказуемее, особенно в крупных и долгосрочных проектах.