0Pricing
TypeScript Academy · 강의

함수 경계를 넘어 유니온 다듬기

판별된 유니온, 조건자 반환 및 Result 스타일 타입을 사용해 함수 경계를 넘어 안전한 좁히기를 유지합니다.

함수 경계를 넘어 유니온 다듬기은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 3개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 3개의 강의가 포함되어 있습니다.

소개

목표: 태그 유니언, 술어 반환, 검증 도우미를 사용해 함수 호출을 넘어 타입 좁히기를 유지합니다.

  • 호출 위치에서 안전하지 않은 as 사용을 없앱니다
  • 정제된 타입 정보가 데이터와 함께 전달됩니다

태그 유니언 반환

결과 패턴에서는 호출자가 ok를 확인해 타입을 좁힙니다. 형변환이 필요 없고 제어 흐름이 명확합니다.

type Ok<T> = { ok: true; value: T }
type Err = { ok: false; error: string }

type Result<T> = Ok<T> | Err

function parseIntSafe(s: string): Result<number> {
  const n = Number(s)
  return Number.isFinite(n) ? { ok: true, value: n } : { ok: false, error: "NaN" }
}

function useIt(s: string) {
  const r = parseIntSafe(s)
  if (r.ok) {
    // r is Ok<number>
    return r.value * 2
  }
  // r is Err
  return `bad: ${r.error}`
}

술어 반환

술어 반환(x is T)은 검사를 한곳에 모으고 호출 위치에서 타입 좁히기를 유지합니다.

type User = { id: number; name: string }

type MaybeUser = User | null

function hasUser(x: MaybeUser): x is User {
  return x !== null
}

function greet(x: MaybeUser) {
  if (hasUser(x)) {
    // x narrowed to User
    return `Hello ${x.name}`
  }
  return "Anonymous"
}

정제된 타입 정보 전달

가드(예: isCircle)로 타입을 좁힌 다음 값을 전달하세요. 이후의 함수는 더 좁혀진 타입을 확인합니다.

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; size: number }

function isCircle(s: Shape): s is Extract<Shape, { kind: "circle" }> {
  return s.kind === "circle"
}

function area(s: Shape) {
  if (isCircle(s)) {
    // s is circle here
    return Math.PI * s.radius * s.radius
  }
  return s.size * s.size
}

경계에서 검증

경계에서 검증한 후 유효/무효를 반환하세요. 호출자는 태그를 기준으로 타입을 좁히고 완전히 타입이 지정된 데이터를 얻습니다.

type Payload = { email: string; retries?: number }

type Valid = { ok: true; data: Required<Payload> }
type Invalid = { ok: false; issues: string[] }

type Validation = Valid | Invalid

function validate(p: unknown): Validation {
  const issues: string[] = []
  if (typeof p !== "object" || p === null) return { ok: false, issues: ["not an object"] }
  const x = p as any
  if (typeof x.email !== "string") issues.push("email:string")
  if (x.retries !== undefined && typeof x.retries !== "number") issues.push("retries:number")
  if (issues.length) return { ok: false, issues }
  return { ok: true, data: { email: x.email, retries: x.retries ?? 0 } }
}

function handle(p: unknown) {
  const v = validate(p)
  if (!v.ok) return `bad: ${v.issues.join(",")}`
  // v.data is fully typed here
  return `send to ${v.data.email} (${v.data.retries})`
}

팁

권장 방법:

  • 작고 안정적인 태그(ok, kind)를 우선 사용합니다
  • 검사를 술어 도우미에 모읍니다
  • 호출 위치에서 모든 경우를 처리하는 분기문을 사용합니다
  • any와 안전하지 않은 형변환을 피합니다

경계를 넘는 타입 좁히기

빠른 확인: 함수 경계를 넘어 타입 좁히기를 가장 잘 유지하는 패턴은 무엇인가요?

요약

요약: 정제된 타입 정보를 데이터(결과)로 전달하고, 경계에서 검증하며, 안전하지 않은 형변환을 피하세요. 호출자는 간단한 태그 검사로 타입을 좁힐 수 있습니다.

자주 묻는 질문

“함수 경계를 넘어 유니온 다듬기” 강의는 무료인가요?

네 — “함수 경계를 넘어 유니온 다듬기” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 3개의 강의가 포함되어 있습니다.

“함수 경계를 넘어 유니온 다듬기”에서 뭘 배우나요?

판별된 유니온, 조건자 반환 및 Result 스타일 타입을 사용해 함수 경계를 넘어 안전한 좁히기를 유지합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 3개 중 3번째 강의입니다.

“함수 경계를 넘어 유니온 다듬기” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

  1. 완전한 switch와 never 검사
  2. 조건자 함수와 satisfies 연산자
  3. 함수 경계를 넘어 유니온 다듬기
← TypeScript Academy(으)로 돌아가기