Tipi in stile Result/Either
Modelli esplicitamente il successo e il fallimento con un'unione Result/Either, aggiunga gli helper (map/flatMap/mapError) e mantenga flussi prevedibili senza usare try/catch ovunque.
Tipi in stile Result/Either è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 1 di 2. 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 2 lezioni in totale.
Introduzione
Obiettivo: rendere i fallimenti visibili. Rappresenterà i risultati con una discriminated union, la comporrà con gli helper e convertirà le eccezioni al confine.
- Tipo Result
- map/flatMap/mapError
- Integrazione HTTP
Nucleo di Result
Crei una piccola utility Result: costruttori ok/err più map, flatMap, mapError per la composizione.
export type Ok<T> = { ok: true; value: T }
export type Err<E> = { ok: false; error: E }
export type Result<T, E> = Ok<T> | Err<E>
export const ok = <T>(value: T): Ok<T> => ({ ok: true, value })
export const err = <E>(error: E): Err<E> => ({ ok: false, error })
export function map<T, E, U>(r: Result<T, E>, f: (t: T) => U): Result<U, E> {
return r.ok ? ok(f(r.value)) : r
}
export function flatMap<T, E, U>(r: Result<T, E>, f: (t: T) => Result<U, E>): Result<U, E> {
return r.ok ? f(r.value) : r
}
export function mapError<T, E, F>(r: Result<T, E>, g: (e: E) => F): Result<T, F> {
return r.ok ? r : err(g(r.error))
}Errori di dominio
Rappresenti gli errori di dominio come una discriminated union con un tag. Ogni ramo contiene dati precisi per produrre messaggi chiari.
export type CreateUserError =
| { tag: "InvalidEmail"; detail?: string }
| { tag: "Duplicate"; email: string }
export function validateEmail(email: string): Result<string, CreateUserError> {
const okEmail = /.+@.+/.test(email)
return okEmail ? ok(email.toLowerCase()) : err({ tag: "InvalidEmail", detail: "bad format" })
}
const existing = new Set(["ada@example.com"]) // pretend DB
export function saveUser(email: string): Result<{ id: string }, CreateUserError> {
if (existing.has(email)) return err({ tag: "Duplicate", email })
return ok({ id: Math.random().toString(36).slice(2) })
}Composizione dei flussi
Componga le convalide con flatMap. Usi uno switch con un controllo never per garantire l'esaustività in fase di compilazione.
export function createUser(flowEmail: string) {
return flatMap(validateEmail(flowEmail), email => saveUser(email))
}
// Use
const r = createUser("Ada@example.com")
if (r.ok) {
console.log("id:", r.value.id)
} else {
switch (r.error.tag) {
case "InvalidEmail": console.error("invalid email:", r.error.detail); break
case "Duplicate": console.error("already used:", r.error.email); break
default: ((x: never) => x)(r.error) // exhaustiveness
}
}Eccezione → Result
Ai confini di I/O, racchiuda le eccezioni e le converta in un Result. I chiamanti mantengono un unico percorso per la gestione degli errori.
export async function fromPromise<T>(p: Promise<T>): Promise<Result<T, { tag: "Exception"; message: string }>> {
try { return ok(await p) }
catch (e) { return err({ tag: "Exception", message: e instanceof Error ? e.message : String(e) }) }
}
// Example: wrap a fetch
export async function fetchJson<T>(url: string): Promise<Result<T, { tag: "Exception"; message: string }>> {
return fromPromise(fetch(url).then(r => r.json() as T))
}Suggerimenti per la mappatura HTTP
Integrazione HTTP: associ gli errori di dominio a 400/409 e le eccezioni di I/O a 502/503. Mantenga una piccola funzione di mappatura, così i controller rimangono puliti e prevedibili.
Verifica dei vantaggi di Result
Verifica rapida: perché preferire una discriminated union Result?
Riepilogo
Riepilogo: definisca un piccolo tipo Result, lo componga con map/flatMap, modelli gli errori di dominio come union e converta le eccezioni ai confini.
Domande Frequenti
La lezione «Tipi in stile Result/Either» è gratuita?
Sì — il testo completo di «Tipi in stile Result/Either» è 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 2 lezioni in totale.
Cosa imparerò in «Tipi in stile Result/Either»?
Modelli esplicitamente il successo e il fallimento con un'unione Result/Either, aggiunga gli helper (map/flatMap/mapError) e mantenga flussi prevedibili senza usare try/catch ovunque. 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 1 di 2.
Quanto tempo richiede la lezione «Tipi in stile Result/Either»?
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
- Tipi in stile Result/Either
- Gestione esaustiva degli errori con unioni discriminate