2nd/Design & Experience/Additive-Type-Logic.md

id, category, confidence_score, tags, last_reinforced

id	category	confidence_score	tags	last_reinforced
P-REINFORCE-AI-ADDITIVE-TYPE	10_Wiki/💡 Topics/Design & Experience	0.97	Type Theory Additive Type Logic TypeScript Category Theory	2026-04-20

Additive-Type-Logic (가법 타입 논리)

📌 한 줄 통찰 (The Karpathy Summary)

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

📖 구조화된 지식 (Synthesized Content)

• 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