TypeScript Mastery
Углубленная программа для Senior/Lead разработчиков: от вычислений на уровне типов и runtime-валидации (Zod v4/Valibot/Standard Schema) до TanStack Query, Effect-TS, фич TS 5.8+ и архитектуры компилятора.
Статическая типизация, примитивы и литералы, интерфейсы против type aliases, сужение типов (typeof, in, instanceof), функции и первые дженерики.
Type-Level Programming & Дженерики
Ограничения extends, теория вариативности (Variance), условные типы и infer, Mapped Types, шаблонные литералы и манипуляции кортежами.
Discriminated Unions, исчерпывающие проверки never, Branded Types (номинальная типизация с 0 cost), Type-State билдеры и assertion-функции.
TypeScript в React 19 & Next.js 16
Типизация ref как обычного пропа, хуки useActionState/useOptimistic, Safe Actions с Zod, Typed Routes и ограничения Flight-сериализации.
Компилятор, перформанс и архитектура
tsconfig Masterclass, строгие флаги noUncheckedIndexedAccess, профайлинг tsc --generateTrace, .d.ts и Module Augmentation, Project References.
Runtime-валидация & Type Providers
Zod v4 vs ArkType 2.0 (JIT-парсинг), Valibot (< 1kb), Standard Schema (@standard-schema/spec), TypeBox, генерация типов из баз данных (Drizzle, Kysely, Prisma).
State, TanStack & Concurrency
Глубокая типизация Zustand middleware и curried create, Query Key Factories TanStack Query v5, XState v5 акторы, AbortSignal и каналы, линзы и оптики.
TypeScript 5.0–5.8+ Modern Features
const type parameters, Explicit Resource Management (using / await using), Inferred Type Predicates (TS 5.5+), NoInfer<T>, флаг --isolatedDeclarations.
Functional Architecture & Effect-TS
Option/Either Result паттерн, ядро Effect-TS (Effect<A, E, R>), Context.Tag и Layer DI, конкурентные Fibers и retry policies, чистое DDD моделирование.