typescript

Система типов TypeScript вглубь

От структурной типизации до программирования на типах — дженерики, условные и отображённые типы, типизация реальных систем.

10 юнитов·41 уроков·~10 ч

Начать трек →

00

С нуля

Что дают типы и два мира: значения и типы.

01 Зачем нужны типы, по-настоящему 12 мин 02 Пространство типов и пространство значений 13 мин

01

Основы

Типы TypeScript структурны и в основном выводятся.

01 Структурная типизация: форма — единственное, что сравнивает проверщик 13 мин 02 Основы вывода: как проверщик заполняет типы, которые вы не написали 13 мин 03 any, unknown, never: верх, низ и лазейка 13 мин 04 Литеральные типы: одиночные значения как типы и as const, который их хранит 13 мин

02

Повседневные типы

Объединения плюс сужение моделируют «одно из, выясни какое».

01 Объединения и пересечения 13 мин 02 Сужение и анализ потока управления 14 мин 03 Пользовательские защитники типов 14 мин 04 Размеченные объединения 14 мин 05 keyof и типы доступа по индексу 14 мин

03

Дженерики

Дженерики — функции над типами с ограничениями и выводом.

01 Дженерик-функции 14 мин 02 Ограничения дженериков 14 мин 03 Дефолты и вывод 15 мин 04 Дженерик-классы 15 мин 05 Интуиция вариантности 16 мин

04

Система типов вглубь

Условные, отображённые и template-literal типы делают типы программируемыми.

01 Условные типы: тернарник на уровне типов, завязанный на совместимость 15 мин 02 Ключевое слово infer: сопоставить тип с образцом и захватить его кусок 16 мин 03 Отображённые типы: обход ключей типа для построения нового 16 мин 04 Ремаппинг ключей через as: переименование и фильтрация ключей в отображённом типе 16 мин 05 Шаблонные литеральные типы: вычисление, разворачивание и разбор строковых типов 17 мин

05

Программирование на типах

Рекурсия и дистрибутивность позволяют вычислять на уровне типов — в пределах лимитов.

01 Рекурсия в типах 16 мин 02 Дистрибутивные условные типы 16 мин 03 Утилитные типы с нуля 18 мин 04 Арифметика на уровне типов 18 мин 05 Лимиты и производительность типов 18 мин

06

Функции и this

Перегрузки, типизация this, assertion-функции и satisfies.

01 Перегрузки функций 14 мин 02 Типизация this 14 мин 03 Функции-утверждения 14 мин 04 Оператор satisfies 14 мин

07

Конфиг, модули и сборка

Строгость tsconfig и разрешение модулей решают, что компилируется.

01 Строгость tsconfig: что на самом деле включает `strict` и какие флаги он оставляет за бортом 14 мин 02 module и moduleResolution: как строка импорта становится файлом 15 мин 03 .d.ts-файлы: ambient-объявления, аугментация и публичная поверхность типов 15 мин 04 Project references: tsc --build, composite и инкрементальный граф сборки 14 мин 05 Проверка типов против транспиляции: почему твой бандлер не ловит ошибки типов 14 мин

08

Типы на практике

Типизируй границы: API, валидация, end-to-end с tRPC.

01 Типизация API: тип на fetch — это обещание, а не доказательство 15 мин 02 zod: одна схема, статический тип и рантайм-страж 15 мин 03 tRPC: сквозные типы без кодогенерации и чего это стоит 15 мин 04 Generic-и в библиотеках: API, которые красиво выводятся (и те, что нет) 15 мин 05 Частые ловушки: то, что компилируется чисто и кусает позже 15 мин

09

Собираем вместе

Собери полностью типизированную фичу от начала до конца.

01 Capstone: выкатываем одну фичу, типизированную насквозь 18 мин

Проекты по этому треку

Guided-проекты, которые закрепляют изученное здесь.

◆ Проекты

Лаборатория профилирования горячего пути

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

◆ Проекты

JSON-парсер с нуля

Напиши рекурсивно-нисходящий парсер JSON по спецификации — токенизатор, диспетчер значений, обработчик escape-последовательностей, декодер чисел — и наблюдай, как каждый крайний случай RFC 8259 превращается в конкретный путь в коде.

◆ Проекты

Типобезопасный SDK для API

Собери клиент, которому другие инженеры действительно будут доверять: типизированный SDK поверх настоящего HTTP API, где неправильное поле, пропущенный вариант и ответ, соврамший о своей форме, ловит компилятор — а не падение в проде. Ты смоделируешь домен через размеченные объединения и дженерики, проверишь каждый ответ на границе и дашь выводу типов донести точные типы до места вызова, не оставив ни одного `any`, которым прикрывают дыры.

Следующий трек

Основы System Design

Кирпичи больших систем и фреймворк интервью — масштабирование, доступность, распределение данных, кэширование, асинхронность и трейдоффы под нагрузкой.