Inferencia avanzada y literal types sin magia

Aprende a aprovechar la inferencia de TypeScript y a controlar cuándo necesitas cerrar tipos con precisión.

📘 Teoría

Inferencia contextual: de dónde sale el tipo

TypeScript no infiere en el vacío: usa contexto de asignación, parámetros y retornos.

Una misma expresión puede inferirse distinto según el lugar donde se usa. Ese detalle explica muchos comportamientos "raros" al empezar.

Cuando pasas callbacks, la firma esperada condiciona los tipos inferidos de sus parámetros: ahí conviene leer la API receptora.

Comprender esto evita anotaciones redundantes y te permite detectar cuándo falta una pista explícita para el compilador.

Literal types como reglas de negocio

Si un valor solo admite opciones concretas, exprésalo en el tipo y no en comentarios.

Estados como 'draft' | 'published' | 'archived' son un caso perfecto: eliminan strings mágicos dispersos por la base.

Con literales, el editor ofrece autocompletado exacto y te impide comparaciones imposibles en condicionales.

Cuando el dominio evoluciona, agregar una nueva opción te obliga (bien) a revisar todos los puntos impactados.

Estados cerrados con literales

Revisar

type ContextoTypescriptinferencialiteraltypesbasico = {
  foco: string;
  objetivo: string;
  riesgo: string;
};

const contexto: ContextoTypescriptinferencialiteraltypesbasico = {
  foco: "inferir mejor y evitar sobre-tipado",
  objetivo: "escribir código predecible",
  riesgo: "abstraer sin criterio",
};

console.log("Checklist técnico:", contexto);

export {};

Uso de as const con criterio

as const es potente, pero mal usado puede rigidizar demasiado una estructura.

Úsalo cuando necesites preservar literales exactos (config, tablas de mapeo, claves de eventos).

Evítalo en datos que deban mutar durante el flujo normal de la app; ahí puede volverse una barrera innecesaria.

La pregunta útil es: ¿quiero congelar intención semántica o necesito flexibilidad operativa?

1 Inferencia contextual: de dónde sale el tipo 2 Literal types como reglas de negocio 3 Uso de as const con criterio

🧪 Aprende probando

Ejemplo Ejemplo guiado Lee, ejecuta y modifica para ver cómo cambia el comportamiento al ajustar tipos.

⌄

Ejemplo Demo interactiva Prueba una mini interfaz para visualizar decisiones de tipado.

⌄

🏁 Retos

Reto Reto práctico Completa el ejercicio aplicando lo visto en esta sesión.

⌄

🧰 Recursos

Enlaces útiles

TypeScript Handbook TSConfig Reference

Test

Comprueba tus conocimientos con un test sobre TypeScript.

Test de TypeScript

Recursos del curso 15

🎬 Vídeos 🔗 Enlaces

‹

Lección 02

Tipos primitivos, anotaciones e inferencia inicial

Lección 04

Funciones tipadas: parámetros, retorno y contratos claros

›