Reduce errores antes deejecutar

// Discriminated union: imposible olvidar un caso
type Estado =
  | { kind: 'loading' }
  | { kind: 'ok'; data: string[] }
  | { kind: 'error'; msg: string };

function render(s: Estado) {
  switch (s.kind) {
    case 'ok': return s.data.length;
    // si falta un caso, no compila
  }
}

// Constraint: solo acepta lo que tiene id
function porId<T extends { id: number }>(
  items: T[], id: number
): T | undefined {
  return items.find(x => x.id === id);
}

const u = porId([{ id: 1, name: 'Ana' }], 1);

// satisfies: valida sin perder el tipo concreto
const rutas = {
  home: '/',
  perfil: '/u/:id',
} satisfies Record<string, string>;

// rutas.home sigue siendo el literal, no string
const h: '/' = rutas.home;