TypeScript Academy · Pelajaran

Tipe bergaya Result/Either

Modelkan keberhasilan/kegagalan secara eksplisit dengan union Result/Either, tambahkan helper (map/flatMap/mapError), dan jaga alur tetap mudah diprediksi tanpa try/catch di mana-mana.

Pelajaran 1 dari 28 langkah

Tipe bergaya Result/Either adalah pelajaran TypeScript Academy gratis di CoddyKit. Ini adalah pelajaran 1 dari 2. Kamu bisa membaca pelajaran lengkapnya di bawah secara gratis — lalu praktikkan langsung di browser dengan editor kode bawaan dan tutor AI 24/7. Ini adalah bagian dari jalur belajar TypeScript Academy, dan progresmu tersinkronisasi di web dan aplikasi CoddyKit. Kursus TypeScript Academy mencakup 2 pelajaran total.

Pengantar

Tujuan: Jadikan kegagalan terlihat. Anda akan memodelkan hasil dengan union terdiskriminasi, menyusunnya menggunakan pembantu, dan mengonversi pengecualian di batas sistem.

  • Tipe Result
  • map/flatMap/mapError
  • Integrasi HTTP

Inti Result

Buat utilitas Result kecil: konstruktor ok/err serta map, flatMap, mapError untuk penyusunan.

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

Error domain

Modelkan kesalahan domain sebagai union terdiskriminasi dengan tag. Setiap cabang membawa data yang tepat untuk menghasilkan pesan yang baik.

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

Menyusun alur

Susun validasi dengan flatMap. Gunakan switch dengan pemeriksaan never untuk menegakkan kelengkapan saat kompilasi.

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

Pengecualian → Result

Di batas I/O, bungkus pengecualian dan konversikan menjadi Result. Pemanggil tetap memiliki satu jalur error untuk ditangani.

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

Kiat pemetaan HTTP

Integrasi HTTP: petakan kesalahan domain ke 400/409; pengecualian I/O ke 502/503. Gunakan fungsi pemeta kecil agar pengontrol tetap bersih dan dapat diprediksi.

Pemeriksaan manfaat Result

Pemeriksaan singkat: Mengapa union Result terdiskriminasi lebih disukai?

Ringkasan

Ringkasan: Definisikan tipe Result kecil, susun dengan map/flatMap, modelkan kesalahan domain sebagai union, dan konversikan pengecualian di batas sistem.

Gratis untuk memulai

Belajar TypeScript dengan tutor AI — gratis

Tulis dan jalankan kode asli di browser kamu, dapatkan bantuan instan dari tutor AI 24/7, dan lanjutkan di mana kamu tinggalkan di web atau aplikasi.

Kursus
101
Pelajaran
352

Pertanyaan yang Sering Diajukan

Apakah pelajaran “Tipe bergaya Result/Either” gratis?

Ya — teks lengkap “Tipe bergaya Result/Either” gratis dibaca di sini di web. Untuk praktiknya secara interaktif (editor kode bawaan dan tutor AI 24/7) dan buka sisa kursus TypeScript Academy, upgrade ke CoddyKit PRO. Kursus TypeScript Academy mencakup 2 pelajaran total.

Apa yang akan aku pelajari di “Tipe bergaya Result/Either”?

Modelkan keberhasilan/kegagalan secara eksplisit dengan union Result/Either, tambahkan helper (map/flatMap/mapError), dan jaga alur tetap mudah diprediksi tanpa try/catch di mana-mana. Kamu berlatih TypeScript Academy dengan kode praktik yang langsung kamu jalankan di browser, dan tutor AI 24/7 menjawab pertanyaanmu saat kamu mengerjakan pelajaran ini.

Apakah aku perlu pengalaman untuk memulai TypeScript Academy?

Tidak diperlukan pengalaman sebelumnya. TypeScript Academy di CoddyKit dirancang untuk pemula hingga pelajar tingkat lanjut, jadi kamu bisa memulai di sini atau dari awal dan belajar sesuai kecepatan kamu sendiri. Ini adalah pelajaran 1 dari 2.

Berapa lama pelajaran “Tipe bergaya Result/Either” memakan waktu?

Sebagian besar pelajaran CoddyKit memakan waktu sekitar 5–10 menit. Setiap pelajaran ringkas dan interaktif, jadi kamu membuat kemajuan stabil dan melanjutkan dari tempat kamu tinggalkan di web dan aplikasi.

Bisakah aku menulis dan menjalankan kode dalam pelajaran TypeScript Academy ini?

Ya. Setiap pelajaran TypeScript Academy menyertakan editor kode bawaan, jadi kamu menulis dan menjalankan kode nyata langsung di browser dan mendapatkan umpan balik AI instan — tidak diperlukan penyiapan lokal.

Semua pelajaran dalam kursus ini

  1. Tipe bergaya Result/Either
  2. Penanganan galat menyeluruh dengan union diskriminatif
← Kembali ke TypeScript Academy