Union y Literal Types

Parte del curso de TypeScript

Hay valores que no son una sola cosa. Una función que busca un usuario o lo encuentra o no lo encuentra. Un campo de formulario contiene o bien un número que escribió el usuario o bien nada todavía. Una petición está pendiente, o ha ido bien, o ha fallado, y nunca es otra cosa.

Los tipos que has escrito hasta ahora no saben decir nada de eso. string significa cualquier string posible. number significa cualquier número posible. No hay forma de decir "uno de estos dos tipos" ni de decir "este valor exacto y ningún otro". Las dos carencias se cubren con la misma idea, que es lo más útil que tiene TypeScript y que no tiene equivalente en la mayoría de los demás lenguajes. ...