---
id: [[P-Reinforce|P-Reinforce]]-AI-ADDITIVE-TYPE
category: Unified
confidence_score: 0.97
tags: [[Type Theory|[Type Theory]], Additive Type [[Logic|Logic]], TypeScript, Category Theory]
last_reinforced: 2026-04-20
---

# [[Additive-Type-Logic|Additive-Type-Logic]] (가법 타입 논리)

## 📌 한 줄 통찰 (The Karpathy Summary)
> "타입은 집합이다." 서로 다른 타입 지식을 더하여 더 크고 정교한 타입을 형성하고, 이를 통해 런타임 오류 가능성을 원천 봉쇄하는 조합론적 타입 설계 철학이다.

## 📖 구조화된 지식 (Synthesized Content)
- **[[Union Types|Union Types]] (|)**:
    - "A이거나 B일 수 있는" 집합의 합집합 개념. 다형성(Polymorphism)을 안전하게 구현하는 기초다.
- **Intersection Types (&)**:
    - "A이면서 동시에 B여야 하는" 집합의 교집합 개념. 여러 기능을 가진 믹스인(Mixin) 객체를 정의할 때 강력하다.
- **Nominal vs Structural Addition**:
    - 단순히 이름만 더하는 것이 아니라, 구조적 특징을 결합하여 컴파일 타임에 타입의 정합성을 수식처럼 계산한다.

## ⚠️ 모순 및 업데이트 (RL Update)
- 과도한 타입 덧셈(Intersection)은 타입 추론 속도를 늦추고 에러 메시지를 난해하게 만든다. 특히 무한 재귀적인 타입 결합은 컴파일러가 포기하게 만들 수 있으므로, `Interface Extension`을 통해 적절히 계층화하는 설계가 권장된다.

## 🔗 지식 연결 (Graph)
- Related: TypeScript-Advanced-Type-System-Design , Category_Theory
- Foundation: Computational Theory & Math/Information Theory
