TypeScript

Qué debes entender

TypeScript infiere tipos a partir del valor y permite anotarlos cuando el contrato no es evidente. El objetivo no es escribir tipos por todas partes, sino conservar información útil.

Cómo funciona

La inferencia ocurre en compilación. Los tipos se eliminan al generar JavaScript, por lo que no validan datos externos en runtime.

Ejemplo

const port = 3000;
let status: "idle" | "loading" = "idle";

status = "loading";
console.log(typeof port, status);

Repasar

Qué debes entender

Ambos describen formas. interface destaca para contratos extensibles y declaration merging; type representa también unions, primitivas, tuplas y transformaciones.

Cómo funciona

La diferencia práctica importa menos que la consistencia. Las interfaces son abiertas; los alias no se reabren, aunque pueden componerse con intersecciones.

Ejemplo

interface User { id: number }
interface User { name: string }

type Status = "active" | "blocked";
const user: User = { id: 1, name: "Erick" };
console.log(user.name);

Repasar

Qué debes entender

Una unión representa alternativas. Un discriminante convierte estados complejos en un modelo exhaustivo y evita combinaciones imposibles.

Cómo funciona

TypeScript estrecha el tipo con typeof, in, instanceof, comparaciones y type guards. Un switch exhaustivo puede apoyarse en never.

Ejemplo

type Result =
  | { status: "ok"; data: string }
  | { status: "error"; message: string };

function print(r: Result) {
  return r.status === "ok" ? r.data : r.message;
}
console.log(print({ status: "ok", data: "done" }));

Repasar

Qué debes entender

Un generic conserva la relación entre entradas y salidas sin perder precisión con any. Los constraints limitan qué operaciones son válidas.

Cómo funciona

El parámetro de tipo se resuelve al usar la función. keyof y extends permiten describir relaciones entre tipos.

Ejemplo

function get<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}
const user = { id: 1, name: "Erick" };
console.log(get(user, "name"));

Repasar

Qué debes entender

Los utility types transforman contratos existentes y evitan duplicar modelos. Deben reflejar semántica, no usarse para ocultar un diseño confuso.

Cómo funciona

Son mapped/conditional types incluidos globalmente. Partial vuelve opcionales propiedades; Pick/Omit seleccionan; Record crea un mapa de claves.

Ejemplo

interface User { id: number; name: string; role: string }
type UserPatch = Partial<Pick<User, "name" | "role">>;
const patch: UserPatch = { role: "admin" };
console.log(patch.role);

Repasar

Qué debes entender

any desactiva comprobaciones; unknown obliga a validar; never representa algo que no puede ocurrir o una función que no termina normalmente.

Cómo funciona

unknown es el tipo seguro para datos no confiables. never aparece al agotar todas las variantes de una unión.

Ejemplo

function format(value: unknown) {
  if (typeof value === "string") return value.toUpperCase();
  return "unsupported";
}
console.log(format("hello"));

Repasar

Qué debes entender

Los mapped types recorren propiedades; los conditional types seleccionan un tipo según una relación. infer captura una parte de un tipo dentro de una condición.

Cómo funciona

Son herramientas para crear APIs tipadas y utilidades reutilizables. Demasiada metaprogramación puede empeorar legibilidad y tiempos de compilación.

Ejemplo

type AsyncResult<T> = T extends Promise<infer R> ? R : T;
type Value = AsyncResult<Promise<string>>;
const value: Value = "ok";
console.log(value);

Repasar

Qué debes entender

satisfies valida compatibilidad sin reemplazar el tipo inferido. as const conserva literales y vuelve readonly de forma superficial. Una assertion no valida nada.

Cómo funciona

satisfies es útil en configuraciones: comprueba el contrato y mantiene claves/valores específicos para autocompletado.

Ejemplo

type Routes = Record<string, `/${string}`>;
const routes = { home: "/", profile: "/profile" } satisfies Routes;
console.log(routes.profile);

Repasar