TypeScript Academy · Lezione

Modellare i tipi Result

Rappresenti successo e fallimento come dati con Result.

Modellare i tipi Result è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 2 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento TypeScript Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso TypeScript Academy include 4 lezioni in totale.

Il tipo Result

Un Result rappresenta un'operazione che può riuscire restituendo un valore oppure fallire restituendo un errore, sotto forma di un'unione discriminata che si può restituire invece di generare un'eccezione.

Definire Result

La struttura classica utilizza il discriminante ok. Quando ok è true è presente un value; quando è false è presente un error.

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

Funzioni di costruzione

Le piccole funzioni di supporto ok e err rendono la costruzione dei risultati concisa e leggibile, evitando di scrivere ogni volta i literal degli oggetti a mano.

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

Restituire un Result

Una funzione che può fallire restituisce ok(value) oppure err(error). Il tipo restituito comunica entrambe le possibilità a chiunque chiami la funzione.

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

Restringere il tipo con ok

Il controllo di result.ok restringe l'unione. Nel ramo true TypeScript sa che value esiste; nel ramo false sa che esiste error.

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

Il discriminante garantisce la sicurezza

Il campo ok è il discriminante che consente al compilatore di scegliere il ramo corretto. Non è possibile accedere a value senza aver prima dimostrato che ok è 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);

Errori tipizzati

Gli errori possono essere più ricchi delle semplici stringhe. Utilizzare un'unione di errori tipizzati consente a chi chiama la funzione di gestire con precisione ogni tipo dopo aver ristretto l'unione.

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);
}

Gestione esaustiva degli errori

Poiché il tipo degli errori è un'unione, è possibile verificare l'esaustività di uno switch sul relativo discriminante, assicurandosi che ogni modalità di fallimento venga gestita.

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 funzione di supporto con valore predefinito

A volte si desidera semplicemente il valore oppure un valore alternativo. Una piccola funzione unwrapOr rende il codice chiaro e mantiene la gestione del fallimento nel punto in cui serve.

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 a confronto con le eccezioni

Result sposta il fallimento nel tipo restituito, costringendo chi chiama la funzione a gestirlo. Il compromesso è una maggiore esplicità del codice, che di solito vale la pena per gli errori previsti.

Un esempio completo

Riuniamo tutto: definire le funzioni di supporto, restituire risultati e restringere il tipo prima dell'uso. Il compilatore garantisce che il ramo dell'errore venga preso in considerazione.

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

Verifica rapida

Verifica rapida su questa lezione.

Riepilogo

Result<T, E> è un'unione discriminata { ok: true; value } oppure { ok: false; error }. La si costruisce con le funzioni di supporto ok/err e si restringe il tipo in base a ok per accedere in sicurezza a value o error; gli errori tipizzati consentono una gestione esaustiva.

Domande Frequenti

La lezione «Modellare i tipi Result» è gratuita?

Sì — il testo completo di «Modellare i tipi Result» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso TypeScript Academy, passa a CoddyKit PRO. Il corso TypeScript Academy include 4 lezioni in totale.

Cosa imparerò in «Modellare i tipi Result»?

Rappresenti successo e fallimento come dati con Result. Eserciti TypeScript Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare TypeScript Academy?

Non è richiesta alcuna esperienza precedente. TypeScript Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 2 di 4.

Quanto tempo richiede la lezione «Modellare i tipi Result»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione TypeScript Academy?

Sì. Ogni lezione TypeScript Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

← Torna a TypeScript Academy