Итоги

В этом уроке вы узнали, что:

• TypeScript — это JavaScript с типами. Всё из JavaScript в нём работает и пишется так же; TypeScript добавляет проверку типов.
• Перед запуском программы компилятор проверяет её и превращает в JavaScript, убирая типы. Если он находит хоть одну ошибку типов, не запускается ничего, даже строки до ошибки.
• TypeScript выводит тип переменной из её значения: в let gold = 120; переменная gold — это number; "Кира" — это string, а true — boolean. Переменная сохраняет свой тип, поэтому gold = "много"; — это ошибка TS2322.
• Тип определяет, что можно делать со значением: heroName.toUpperCase() допустимо, а gold.toUpperCase() — ошибка TS2339.
• Сообщение об ошибке вроде main.ts(4,29): error TS2551: … содержит файл, строку, столбец, код ошибки и описание на английском. Сначала исправляйте первую ошибку и снова запускайте программу. Ошибка в том, как написана программа, например пропущенная ), скрывает ошибки типов, пока вы её не исправите.
• TypeScript ловит опечатки в именах переменных (TS2304, TS2552) и свойств (TS2339, TS2551) и часто подсказывает правильное имя: Did you mean 'health'? Присваивание константе — ошибка TS2588, но свойства объекта в константе менять можно: hero.health = 40; допустимо.
• Когда программа запускается, типов уже нет, и она ведёт себя в точности как JavaScript: "5" + 3 по-прежнему "53". Соединять строку и число через + разрешено, но TypeScript не пустит получившуюся строку в переменную для чисел.

В следующем уроке, «Основные типы», вы будете писать типы сами. Вы скажете TypeScript, что может хранить переменная, и познакомитесь с массивами, кортежами, константами с точными типами и с any — типом, который отключает проверку.