Опорная идея
В JavaScript тип переменной определяется на лету, и это удобно — но опасно. Рассмотрим функцию:
function double(x) { return x * 2; }
double(5); // 10 — ок double("5"); // NaN — скрытая ошибка!
JavaScript не предупредит: ошибка всплывёт только во время работы программы, возможно, у пользователя. Чем больше проект, тем чаще такие сюрпризы.
TypeScript решает это, добавляя статическую типизацию: типы проверяются заранее, при написании кода. Если функция ждёт число, а вы передаёте строку, редактор подчеркнёт это сразу — задолго до запуска.
TypeScript — это надмножество JavaScript: любой корректный JS-код является и корректным TS-кодом. Вы добавляете типы постепенно, там, где они полезны.