TypeScript

JavaScript, con una red de seguridad

TypeScript añade un potente sistema de tipos a JavaScript: menos errores, mejores herramientas y refactorización sin estrés. Desde anotaciones básicas hasta genéricos, refinamiento de tipos y tipos utilitarios avanzados.

Fundamentos

Principiante - lo básico, paso a paso

• Por qué TypeScript, tu primer archivo tipadoDescubre qué es TypeScript, el problema que resuelve y escribe tu primer archivo tipado.
• Tipos primitivos, arreglos y uniones simplesAprende los tres tipos básicos, cómo tipar un arreglo y cómo crear uniones de tipos.
• Objetos e interfacesDescribe la forma de tus objetos con tipos precisos y luego hazlos reutilizables con interfaces.
• Tipar las funciones: parámetros, retorno, opcionalesHaz tus funciones más seguras tipando sus parámetros, su valor de retorno y sus parámetros opcionales.
• Inferencia, any y unknownDeja que TypeScript deduzca los tipos con la inferencia, y comprende por qué unknown supera al peligroso any.

Progresión

Intermedio - crear proyectos reales

• type vs interface: extends e intersecciónElige la construcción adecuada para modelar y componer tus tipos de objeto sin duplicar código.
• Tipos literales y uniones discriminadasModela los estados de tu aplicación con uniones que el compilador comprueba por ti.
• Enums y aserciones const: las alternativas modernasComprende los límites de los enums y deriva tus tipos de constantes congeladas con as const.
• Genéricos: funciones y tipos genéricos simplesEscribe funciones y tipos reutilizables que conservan toda la precisión de tipos en cada llamada.
• Tipar código del mundo real: DOM, fetch, JSONMantén tipos fiables en las fronteras de tu aplicación, donde el DOM, la red y el JSON escapan al compilador.

Avanzado

Competente - patrones avanzados y rendimiento

• Narrowing: typeof, in, instanceof y type guardsDominas los mecanismos de reducción de tipos (narrowing) y escribes tus propios predicados para hacer las uniones más fiables.
• Genéricos avanzados: restricciones y valores por defectoRestringes tus parámetros de tipo con extends y proporcionas valores por defecto para construir API genéricas ergonómicas.
• Tipos utilitarios: Partial, Pick, Omit, Record, ReturnTypeDerivas tipos a partir de una única fuente con las utilidades integradas para eliminar la duplicación y la deriva que provoca.
• never, exhaustividad y uniones discriminadas avanzadasModelas tus estados con uniones discriminadas y aseguras su exhaustividad con el tipo never.
• tsconfig estricto: opciones clave y errores comunesEntiendes lo que el modo estricto activa realmente y sabes gestionar los errores típicos que revela en un proyecto existente.

Maestría

Experto - arquitectura, internos y casos límite

• Tipos condicionales e infer: la lógica del compiladorDomina la distributividad de los tipos condicionales, el pattern matching con infer y casos límite como never, any y boolean.
• Mapped types y key remapping: transformar tiposComprende cómo los mapped types homomórficos preservan los modificadores y cómo la cláusula as renombra o filtra claves.
• Template literal types: cadenas calculadas en tiempo de compilaciónAprovecha los template literal types para generar uniones mediante productos cartesianos y parsear literales de cadena con infer.
• Sobrecargas, this tipado y varianzaComprende la resolución de sobrecargas, el pseudoparámetro this y las reglas de varianza que rigen la asignabilidad de funciones.
• Patrones de producción: branded types, satisfies y .d.tsAplica los patrones de experto que aseguran una base de código real: nominalidad simulada, validación sin ampliación y declaraciones ambientales.