TypeScript

JavaScript со страховкой

TypeScript добавляет в JavaScript мощную систему типов: меньше багов, удобнее инструменты и спокойный рефакторинг. От простых аннотаций до дженериков, сужения типов и продвинутых утилитарных типов.

Основы

Новичок - база, шаг за шагом

• Зачем нужен TypeScript и твой первый типизированный файлУзнай, что такое TypeScript, какую задачу он решает, и напиши свой самый первый типизированный файл.
• Примитивные типы, массивы и простые объединенияИзучи три базовых типа, научись типизировать массив и создавать объединения типов.
• Объекты и интерфейсыОписывай форму своих объектов точными типами, а затем делай их переиспользуемыми с помощью интерфейсов.
• Типизация функций: параметры, возврат, необязательные аргументыСделай свои функции надёжнее, типизируя их параметры, возвращаемое значение и необязательные параметры.
• Вывод типов, any и unknownПозволь TypeScript определять типы самому благодаря выводу типов и пойми, почему unknown лучше опасного any.

Развитие

Средний уровень - создавай реальные проекты

• type против interface: extends и пересечениеВыбирай подходящую конструкцию, чтобы описывать и комбинировать объектные типы без дублирования кода.
• Литеральные типы и размеченные объединенияОписывай состояния своего приложения объединениями, которые компилятор проверяет за тебя.
• Enum и const-утверждения: современные альтернативыРазберись в ограничениях enum и выводи свои типы из замороженных констант с помощью as const.
• Обобщения: простые дженерик-функции и типыПиши переиспользуемые функции и типы, которые сохраняют полную точность типов при каждом вызове.
• Типизация реального кода: DOM, fetch, JSONСохраняй надёжные типы на границах приложения, где DOM, сеть и JSON ускользают от компилятора.

Продвинутый

Уверенный уровень - продвинутые паттерны и производительность

• Сужение типов: typeof, in, instanceof и type guardsТы освоишь механизмы сужения типов и напишешь собственные предикаты, чтобы сделать объединения надёжнее.
• Продвинутые дженерики: ограничения и значения по умолчаниюТы ограничишь свои параметры типа через extends и задашь значения по умолчанию, чтобы строить удобные обобщённые API.
• Утилитарные типы: Partial, Pick, Omit, Record, ReturnTypeТы будешь выводить типы из единственного источника с помощью встроенных утилит, чтобы убрать дублирование и вызванное им расхождение.
• never, полнота и продвинутые размеченные объединенияТы смоделируешь свои состояния размеченными объединениями и закрепишь их полноту с помощью типа never.
• Строгий tsconfig: ключевые опции и частые ошибкиТы поймёшь, что на самом деле включает строгий режим, и научишься разбираться с типичными ошибками, которые он вскрывает в существующем проекте.

Мастерство

Эксперт - архитектура, внутренности и крайние случаи

• Условные типы и infer: логика компилятораОсвой дистрибутивность условных типов, сопоставление с образцом через infer и крайние случаи вроде never, any и boolean.
• Сопоставленные типы и переименование ключей: преобразуем типыПойми, как гомоморфные сопоставленные типы сохраняют модификаторы и как выражение as переименовывает или отфильтровывает ключи.
• Шаблонные литеральные типы: строки, вычисленные при компиляцииИспользуй шаблонные литеральные типы, чтобы порождать объединения через декартовы произведения и разбирать строковые литералы с помощью infer.
• Перегрузки, типизированный this и вариантностьРазберись в разрешении перегрузок, псевдопараметре this и правилах вариантности, которые управляют присваиваемостью функций.
• Продакшен-паттерны: брендированные типы, satisfies и .d.tsПрименяй экспертные паттерны, которые защищают реальную кодовую базу: имитация номинальности, проверка без расширения типа и внешние объявления.