---
id: P-REINFORCE-AUTO-E0FAE7
category: "10_Wiki/💡 Topics/Programming & Language"
confidence_score: 0.90
tags: [auto-reinforced]
last_reinforced: 2026-04-20
github_commit: "[P-Reinforce] Continuous Worker - 유니온 타입 (Union Types)"
---

# [[유니온 타입 (Union Types)|유니온 타입 (Union Types)]]

## 📌 한 줄 통찰 (The Karpathy Summary)
> 유니온 타입(Union Types)은 TypeScript에서 값(Value)이 지정된 여러 타입 중 하나일 수 있음을 나타내는 타입 선언 방식이다 [1, 2]. 수직선 기호(`|`)를 사용하여 구성하며, 타입들을 집합(Set)으로 보았을 때 여러 집합의 합집합(Union)에 해당한다 [2, 3]. 변수나 함수의 매개변수가 하나 이상의 유연한 타입을 허용해야 할 때 주로 사용되며, 런타임에 특정한 타입으로 구별하기 위해서는 '타입 좁히기(Type Narrowing)' 과정이 동반되어야 한다 [4-6].

## 📖 구조화된 지식 (Synthesized Content)
본문 구조화 작업 중...

## ⚠️ 모순 및 업데이트 (Contradictions & RL Update)
- **과거 데이터와의 충돌:** 자동화 엔진에 의해 매핑된 지식으로, 추후 정밀 검증 필요.
- **정책 변화:** Programming & Language 분야의 자동 자산화 수행.

## 🔗 지식 연결 (Graph)
- **Related Topics:** [[식별 가능한 유니온 (Discriminated Unions)|식별 가능한 유니온 (Discriminated Unions)]], [[교집합 타입 (Intersection Types)|교집합 타입 (Intersection Types)]], [[타입 좁히기 (Type Narrowing)|타입 좁히기 (Type Narrowing)]], [[리터럴 타입 (Literal Types)|리터럴 타입 (Literal Types)]]
- **Projects/Contexts:** [[TypeScript 타입 시스템 (TypeScript Type System)|TypeScript 타입 시스템 (TypeScript Type System)]], [[상태 모델링 (State Modeling)|상태 모델링 (State Modeling)]]
- **Contradictions/Notes:** TypeScript에서 유니온 타입은 값의 유연성을 제공하지만, 조합된 타입들의 공통 프로퍼티가 아닌 고유 프로퍼티를 타입 좁히기 검증 없이 직접 접근하려고 하면 컴파일 에러가 발생하므로 주의해야 한다 [2, 5].

---
*Last updated: 2026-04-18*
- Raw Source: 00_Raw/2026-04-20/유니온 타입 (Union Types).md
---
