TypeScript Mastery
Поглиблена програма для Senior/Lead інженерів: від обчислень на рівні типів та runtime-валідації (Zod v4 / Valibot / Standard Schema) до TanStack Query, Effect-TS, можливостей TS 5.8+ та архітектури компілятора.
Статична типізація, примітиви та літерали, інтерфейси проти type aliases, звуження типів (typeof, in, instanceof), функції та перші дженерики.
Обмеження extends, теорія варіативності (Variance), умовні типи та infer, Mapped Types, шаблонні літерали та маніпуляції кортежами.
Discriminated Unions, вичерпні перевірки never, Branded Types (номінальна типізація з нульовою вартістю), 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 та Конкурентність
Глибока типізація Zustand middleware та curried create, Query Key Factories TanStack Query v5, XState v5 актори, AbortSignal та канали, лінзи й оптики.
const type parameters, Explicit Resource Management (using / await using), Inferred Type Predicates (TS 5.5+), NoInfer<T>, прапорець --isolatedDeclarations.
Патерн Option/Either Result, ядро Effect-TS (Effect<A, E, R>), Context.Tag та Layer DI, конкурентні Fibers та політики повторів, чисте DDD моделювання.