TypeScript de Cero a Experto / TS en el mundo real

Reto: una capa de datos tipada de punta a punta

Reto35 min60 XP

El reto que junta el mundo real: una capa de datos que carga registros de un "servidor", los VALIDA en la frontera (porque los datos externos son unknown), descarta los inválidos y procesa solo los buenos —con seguridad de tipos de punta a punta. Es el esqueleto de la capa de datos de cualquier app profesional, y el TypeScript que escribirás en el trabajo.

Reto

La capa de datos tipada

Media30 min60 XP(×2 sin mirar la solución)

Qué debes construir

Un servicio que carga gastos de un servidor simulado, valida cada uno en runtime, y reporta. Al ejecutarse debe imprimir EXACTAMENTE:

terminal

Cargados 4 registros del servidor

Válidos: 2 (descartados 2)

Total de gastos válidos: 22000

Requisitos:

type Gasto: { nombre: string; valor: number }.
esGasto(x: unknown): x is Gasto: un type guard que valide en runtime que x es un objeto con nombre string y valor number. (En un proyecto real usarías Zod; aquí lo haces a mano para practicar el concepto.)
class RepositorioGastos con:
- un método cargarCrudos(): Promise<unknown[]> que simule el servidor devolviendo un array MIXTO (válidos e inválidos) —tipado como unknown[], honesto.
- un método cargarValidos(): Promise<Gasto[]> que cargue los crudos, los FILTRE con el type guard, y devuelva solo los válidos ya tipados.
El guion: carga los crudos (reporta cuántos llegaron), carga los válidos (reporta válidos y descartados), y suma el total de los válidos.

Reglas

Los datos "del servidor" son unknown[] hasta validarse: nada de asumir su forma.
El filtrado usa el type guard, de modo que TS trate el resultado como Gasto[].
Nada de any fuera de la comprobación interna del guard. Salida exacta.

30:00

Cuando estés listo, arranca el reloj.

Lo que este reto integra —el TypeScript del mundo real:

La frontera es unknown. Los datos del servidor entran como unknown[], no como Gasto[] optimista. Reconocer dónde termina tu tipado seguro (tu código) y empieza el territorio no confiable (el exterior) es la madurez que este módulo enseña.
El type guard cierra la brecha runtime/tipos. esGasto valida con código que SÍ corre y, a cambio, le da a TS la garantía de tipo. Tras el filter(esGasto), trabajas con Gasto[] de verdad —verificado, no prometido.
La clase organiza la capa. El repositorio encapsula el acceso a datos; el resto de la app le pide cargarValidos() y recibe datos limpios, sin saber de validación. En un proyecto real, esGasto sería un GastoSchema.parse de Zod —misma idea, menos código.

Fíjate en la línea validos.reduce((s, g) => s + g.valor, 0): dentro, g es un Gasto —TS lo garantiza porque el filter(esGasto) estrechó el tipo—, así que g.valor es seguro. Ni un solo as ni chequeo defensivo ahí: la validación se hizo UNA vez, en la frontera, y el resto del código disfruta de datos limpios y tipados. Cambia el type guard por un GastoSchema.parse de Zod y tendrás, literalmente, la capa de datos de una app de producción. Acabas de escribir el TypeScript que separa un prototipo de un producto.

Qué sigue

Módulo 8 conquistado: manejas el DOM, los datos remotos, la validación y las clases con la soltura del mundo real. Solo quedan dos módulos. El 9 te vuelve un profesional de la CONFIGURACIÓN —strict a fondo, paths, project references, ESLint con TS—: afinar el entorno para que trabaje a tu favor. La recta final del supercurso.