Опорная идея
TypeScript добавляет к JavaScript явные договоры: какие данные ожидает функция, что она возвращает, какие поля есть у объекта. Типы не заменяют мышление, но уменьшают число случайных ошибок и делают код понятнее для команды.
На этой стадии ученик осваивает interfaces, type aliases, union types, generics, narrowing, modules и правила проектирования публичных API функций. Главное — понимать, где тип помогает выразить предметную область, а где усложняет код без пользы.