2nd/Programming & Language/유니온 타입 (Union Types).md

id, category, confidence_score, tags, last_reinforced, github_commit

id	category	confidence_score	tags	last_reinforced	github_commit
P-REINFORCE-AUTO-E0FAE7	10_Wiki/💡 Topics/Programming & Language	0.90	auto-reinforced	2026-04-20	[P-Reinforce] Continuous Worker - 유니온 타입 (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), 교집합 타입 (Intersection Types), 타입 좁히기 (Type Narrowing), 리터럴 타입 (Literal Types)
• Projects/Contexts: TypeScript 타입 시스템 (TypeScript Type System), 상태 모델링 (State Modeling)
• Contradictions/Notes: TypeScript에서 유니온 타입은 값의 유연성을 제공하지만, 조합된 타입들의 공통 프로퍼티가 아닌 고유 프로퍼티를 타입 좁히기 검증 없이 직접 접근하려고 하면 컴파일 에러가 발생하므로 주의해야 한다 [2, 5].

---

Last updated: 2026-04-18

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

---