TypeScript Mastery
Advanced curriculum for Senior/Lead engineers: from type-level computation and runtime validation (Zod v4 / Valibot / Standard Schema) to TanStack Query, Effect-TS, TS 5.8+ features, and compiler architecture.
TypeScript Core Fundamentals
Static typing, primitives and literals, interfaces vs type aliases, narrowing (typeof, in, instanceof), function signatures, and generics intro.
Type-Level Programming & Generics
Extends constraints, Variance theory, Conditional Types and infer, Mapped Types, Template Literals, and Tuple manipulation.
Advanced Patterns & Domain Modeling
Discriminated Unions, exhaustive never checks, Branded Types (zero-cost nominal typing), Type-State builders, and assertion functions.
TypeScript in React 19 & Next.js 16
Typing ref as a standard prop, useActionState and useOptimistic hooks, Safe Server Actions with Zod, Typed Routes, and Flight serialization limits.
Compiler, Performance & Monorepos
tsconfig Masterclass, strict flags like noUncheckedIndexedAccess, tsc --generateTrace profiling, .d.ts Module Augmentation, and Project References.
Runtime Validation & Type Providers
Zod v4 vs ArkType 2.0 (JIT parsing), Valibot (< 1kb), Standard Schema spec (@standard-schema/spec), TypeBox, and Database Type Providers (Drizzle, Kysely, Prisma).
State, TanStack & Concurrency
Deeply typed Zustand middleware and curried create, Query Key Factories in TanStack Query v5, XState v5 actors, AbortSignal channels, optics and lenses.
TypeScript 5.0–5.8+ Modern Features
const type parameters, Explicit Resource Management (using / await using), Inferred Type Predicates (TS 5.5+), NoInfer<T>, and --isolatedDeclarations.
Functional Architecture & Effect-TS
Option/Either Result pattern, Effect-TS core (Effect<A, E, R>), Context.Tag and Layer DI, concurrent Fibers, retry policies, and pure DDD algebraic modeling.