Fullstack Type Safety 2026

TypeScript Mastery

Programa avanzado para desarrolladores Senior/Lead: desde computación a nivel de tipos y validación runtime (Zod v4/Valibot/Standard Schema) hasta TanStack Query, Effect-TS, novedades de TS 5.8+ y arquitectura del compilador.

Volumen del track45 lecciones
Experiencia (XP)+1350 XP
Progreso del track0 / 45 lecciones (0%) • 0 XP

Tipos primitivos e inferencia, interfaces vs type aliases, uniones y narrowing (estrechamiento de tipos), tipado de funciones y primeros genéricos con tipos de utilidad.

Tipos PrimitivosInterfaces vs TypeUniones & Type GuardsFirmas de FuncionesIntroducción a Genéricos
Progreso del módulo0 / 5
Ver lista de lecciones

Restricciones extends, teoría de varianza (Variance), tipos condicionales e infer, Mapped Types, literales de plantilla y manipulación de tuplas.

Generics & VarianceConditional Types & inferMapped Types & Key RemappingTemplate LiteralsRecursive Tuples
Progreso del módulo0 / 5
Ver lista de lecciones

Discriminated Unions, comprobaciones exhaustivas de never, Branded Types (tipado nominal sin sobrecoste), constructores Type-State y funciones de aserción.

Discriminated UnionsBranded TypesType-State PatternFunction SignaturesAssertion Functions
Progreso del módulo0 / 5
Ver lista de lecciones

Tipado de ref como propiedad estándar, hooks useActionState y useOptimistic, Safe Actions con Zod, Typed Routes y límites de serialización Flight.

React 19 Props & refuseActionState & useOptimisticSafe Server ActionsTyped Routes & SearchParamsFlight Serialization
Progreso del módulo0 / 5
Ver lista de lecciones

Masterclass de tsconfig, flags estrictos noUncheckedIndexedAccess, perfilado tsc --generateTrace, .d.ts y Module Augmentation, Project References.

tsconfig Strict Flagstsc Trace ProfilingDeclaration Files & AugmentationType Testing with VitestMonorepo References
Progreso del módulo0 / 5
Ver lista de lecciones

Zod v4 vs ArkType 2.0 (análisis JIT), Valibot (< 1kb), especificación Standard Schema, TypeBox y generadores de esquemas de BD (Drizzle, Kysely, Prisma).

Zod v4 vs ArkTypeValibot Tree-ShakingStandard Schema SpecTypeBox & JSON SchemaDatabase Type Providers
Progreso del módulo0 / 5
Ver lista de lecciones
5 lecciones

Tipado exhaustivo de middleware en Zustand y curried create, Query Key Factories en TanStack Query v5, actores XState v5, AbortSignal y lentes funcionales.

Zustand Middleware CurryTanStack Query FactoriesXState v5 ActorsAsync Abort & ChannelsOptics & Lenses
Progreso del módulo0 / 5
Ver lista de lecciones

const type parameters, Explicit Resource Management (using / await using), Inferred Type Predicates (TS 5.5+), NoInfer<T> y la directiva --isolatedDeclarations.

const Type Parametersusing & Symbol.disposeInferred Predicates TS 5.5NoInfer<T> UtilityisolatedDeclarations (Oxc)
Progreso del módulo0 / 5
Ver lista de lecciones

Patrón Option/Either Result, núcleo de Effect-TS (Effect<A, E, R>), Context.Tag y Layer DI, fibras concurrentes, políticas de reintento y modelado DDD algebraico.

Option & Either ResultEffect-TS Core (A, E, R)Context.Tag & Layer DIFiber Concurrency & RetriesPure DDD Algebraic Types
Progreso del módulo0 / 5
Ver lista de lecciones