Aprender TypeScript Tipos avanzados y metaprogramación

Este módulo aborda las capacidades más avanzadas del sistema de tipos de TypeScript, orientadas a la metaprogramación a nivel de tipos. Se estudian los template literal types, que permiten construir y manipular cadenas a nivel de tipo, así como el operador satisfies para validar expresiones sin ampliar su tipo inferido. También se cubren las aserciones as const para preservar tipos literales inmutables en tiempo de compilación.

Se exploran en detalle el operador keyof para obtener las claves de un tipo como unión, los indexed access types para acceder a tipos de propiedades específicas y los patrones de programación a nivel de tipos que permiten codificar lógica compleja directamente en el sistema de tipos. El estudiante aprenderá a aprovechar estas herramientas para diseñar APIs con contratos de tipo precisos y autocompletado enriquecido.