TypeScript va mucho más allá de añadir tipos básicos a JavaScript. El sistema de tipos es un lenguaje de programación en sí mismo, y dominarlo cambia fundamentalmente cómo diseñas APIs y estructuras de datos.
Después de años escribiendo TypeScript en producción, hay un conjunto de patrones que uso casi a diario. No son trucos académicos — son soluciones a problemas reales que aparecen constantemente: validar inputs, tipar APIs externas, y hacer que el compilador trabaje para ti en vez de contra ti.
Branded types para IDs
El problema clásico: tienes userId y orderId, ambos son strings, y nada te impide pasar uno donde va el otro. Los branded types resuelven esto sin coste en runtime. Creas un tipo que es estructuralmente idéntico a string pero nominalmente distinto. El compilador te atrapa el error, pero el JavaScript generado es idéntico.
Este patrón escala a cualquier valor primitivo que tenga semántica de dominio: emails, URLs, monedas, coordenadas. El coste es cero en runtime y el beneficio en seguridad de tipos es enorme.
No comments yet