Result/Either 스타일 타입
Result/Either 유니온으로 성공과 실패를 명시적으로 모델링하고, 도우미(map/flatMap/mapError)를 추가해 모든 곳에서 try/catch를 사용하지 않고도 흐름을 예측 가능하게 유지합니다.
Result/Either 스타일 타입은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 2개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 2개의 강의가 포함되어 있습니다.
소개
목표: 실패를 눈에 보이게 만듭니다. 판별된 유니언으로 결과를 모델링하고 도우미로 조합하며 경계에서 예외를 변환합니다.
- 결과 타입
- map/flatMap/mapError
- HTTP 통합
결과 핵심
작은 결과 유틸리티를 만듭니다. ok/err 생성자와 조합을 위한 map, flatMap, mapError를 제공합니다.
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))
}도메인 오류
도메인 오류를 tag가 있는 판별된 유니언으로 모델링합니다. 각 분기는 좋은 메시지를 만들 수 있도록 정확한 데이터를 포함합니다.
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) })
}흐름 조합
flatMap으로 검증을 조합합니다. 컴파일 시점에 모든 경우를 처리하도록 never 검사와 함께 switch를 사용합니다.
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
}
}예외 → 결과
입출력 경계에서 예외를 감싼 뒤 Result로 변환합니다. 호출자는 처리해야 할 단일 오류 경로를 유지합니다.
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))
}HTTP 매핑 팁
HTTP 통합: 도메인 오류를 400/409에 매핑하고 입출력 예외를 502/503에 매핑합니다. 작은 매퍼 함수를 유지하여 컨트롤러를 깔끔하고 예측 가능하게 만듭니다.
결과 타입의 이점 확인
빠른 확인: 판별된 결과 유니언을 우선하는 이유는 무엇인가요?
요약
요약: 작은 결과 타입을 정의하고 map/flatMap으로 조합하며, 도메인 오류를 유니언으로 모델링하고 경계에서 예외를 변환합니다.
자주 묻는 질문
“Result/Either 스타일 타입” 강의는 무료인가요?
네 — “Result/Either 스타일 타입” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 2개의 강의가 포함되어 있습니다.
“Result/Either 스타일 타입”에서 뭘 배우나요?
Result/Either 유니온으로 성공과 실패를 명시적으로 모델링하고, 도우미(map/flatMap/mapError)를 추가해 모든 곳에서 try/catch를 사용하지 않고도 흐름을 예측 가능하게 유지합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 2개 중 1번째 강의입니다.
“Result/Either 스타일 타입” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- Result/Either 스타일 타입
- 판별 유니온을 활용한 모든 오류 처리