Tipos primitivos, anotaciones e inferencia inicial

Domina string, number, boolean y el equilibrio entre inferencia y anotación explícita.

📘 Teoría

TypeScript infiere muy bien, pero no siempre adivina intención de negocio.

Usa inferencia en variables locales de vida corta: reduce ruido y mantiene legibilidad.

Anota explícitamente en fronteras públicas: parámetros de funciones exportadas, retornos críticos y estructuras compartidas.

Cuando un valor puede ampliarse con el tiempo, una anotación explícita evita que el tipo quede accidentalmente demasiado estrecho.

Gran parte de los errores reales viene de valores ausentes mal modelados.

Con strictNullChecks, TypeScript te obliga a pensar explícitamente los estados vacíos. Eso mejora diseño, no solo seguridad.

En lugar de propagar undefined por todo el flujo, encapsula casos opcionales en funciones pequeñas con retorno claro.

Diferencia datos opcionales de datos pendientes de carga: modelar ambos como "tal vez undefined" crea ambigüedad.

Un string genérico y un literal exacto no comunican lo mismo al compilador.

Si un valor representa una opción cerrada (por ejemplo estado de pago), conviene conservarlo como literal en vez de abrirlo a string.

Entender cuándo TypeScript ensancha tipos automáticamente (widening) evita bugs sutiles en validaciones y comparaciones.

Este criterio te prepara para modelar enums implícitos con uniones de literales en lecciones posteriores.

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.

⌄

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

⌄

Test

Comprueba tus conocimientos con un test sobre TypeScript.

Recursos del curso 15