TypeScript Academy · Lección

Modelado de tipos Result

Represente el éxito y el fallo como datos mediante Result.

Modelado de tipos Result es una lección gratuita de TypeScript Academy en CoddyKit. Esta es la lección 2 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de TypeScript Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de TypeScript Academy incluye 4 lecciones en total.

El tipo Result

Result representa una operación que tiene éxito con un valor o falla con un error, mediante una unión discriminada que puede devolver en lugar de lanzar una excepción.

Definir Result

La estructura clásica utiliza el discriminante ok. Cuando ok es true, existe un value; cuando es false, existe un error.

type Result<T, E> =
  | { ok: true; value: T }
  | { ok: false; error: E };

Funciones auxiliares constructoras

Las pequeñas funciones auxiliares ok y err permiten construir resultados de forma concisa y legible, en lugar de escribir los literales de objeto manualmente cada vez.

const ok = <T>(value: T): Result<T, never> => ({ ok: true, value });
const err = <E>(error: E): Result<never, E> => ({ ok: false, error });

Devolver un Result

Una función susceptible de fallar devuelve ok(value) o err(error). El tipo de retorno anuncia ambas posibilidades a quienes la llaman.

function divide(a: number, b: number): Result<number, string> {
  return b === 0 ? err("divide by zero") : ok(a / b);
}

Estrechamiento con ok

Comprobar result.ok estrecha la unión. Dentro de la rama verdadera, TypeScript sabe que existe value; dentro de la rama falsa, sabe que existe error.

const r = divide(10, 2);
if (r.ok) console.log(r.value); // 5
else console.log(r.error);

El discriminante impulsa la seguridad

El campo ok es el discriminante que permite al compilador elegir la rama correcta. No puede acceder a value sin demostrar primero que ok es true.

const r = divide(1, 0);
// r.value here is a type error until we check r.ok
if (!r.ok) console.log("err:", r.error);

Errores tipados

Los errores pueden ser más completos que simples cadenas de texto. Utilizar una unión de errores tipados permite a quienes llaman gestionar cada tipo con precisión después del estrechamiento.

type DivErr = { kind: "zero" } | { kind: "overflow" };
function div(a: number, b: number): Result<number, DivErr> {
  if (b === 0) return err({ kind: "zero" });
  return ok(a / b);
}

Gestión exhaustiva de errores

Como el tipo de error es una unión, puede comprobarse la exhaustividad de un switch sobre su discriminante, lo que garantiza que se gestione cada modo de fallo.

const r = div(1, 0);
if (!r.ok) {
  switch (r.error.kind) {
    case "zero": console.log("no zero"); break;
    case "overflow": console.log("too big"); break;
  }
}

Una función auxiliar para valores predeterminados

A veces solo necesita el valor o una alternativa. Un pequeño unwrapOr resulta claro y mantiene la gestión del fallo en el ámbito local.

function unwrapOr<T, E>(r: Result<T, E>, fallback: T): T {
  return r.ok ? r.value : fallback;
}
console.log(unwrapOr(divide(1, 0), -1)); // -1

Result frente a lanzar excepciones

Result incorpora el fallo al tipo de retorno, por lo que quienes llaman deben ocuparse de él. La contrapartida es un código más explícito, que normalmente compensa cuando se trata de errores esperados.

Un ejemplo completo

En conjunto: defina funciones auxiliares, devuelva resultados y estreche el tipo antes de utilizarlo. El compilador garantiza que se tenga en cuenta la rama de error.

function safeParse(s: string): Result<number, string> {
  const n = Number(s);
  return Number.isNaN(n) ? err("NaN") : ok(n);
}
const p = safeParse("42");
console.log(p.ok ? p.value : p.error); // 42

Comprobación rápida

Comprobación rápida de esta lección.

Resumen

Result<T, E> es una unión discriminada: { ok: true; value } o { ok: false; error }. Constrúyala con las funciones auxiliares ok/err y estreche el tipo mediante ok para acceder de forma segura a value o error; los errores tipados permiten una gestión exhaustiva.

Preguntas frecuentes

¿La lección «Modelado de tipos Result» es gratis?

Sí — el texto completo de «Modelado de tipos Result» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de TypeScript Academy, actualiza a CoddyKit PRO. El curso de TypeScript Academy incluye 4 lecciones en total.

¿Qué aprenderé en «Modelado de tipos Result»?

Represente el éxito y el fallo como datos mediante Result. Practicas TypeScript Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.

¿Necesito experiencia previa para empezar TypeScript Academy?

No se requiere experiencia previa. TypeScript Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 2 de 4.

¿Cuánto tiempo toma la lección «Modelado de tipos Result»?

La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.

¿Puedo escribir y ejecutar código en esta lección de TypeScript Academy?

Sí. Cada lección de TypeScript Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.

Todas las lecciones de este curso

← Volver a TypeScript Academy