Antigravity Agent
35 lines
1.2 KiB
Markdown
35 lines
1.2 KiB
Markdown
---
|
|
id: wiki-2026-0508-완전성-검사-exhaustiveness-checking
|
|
title: 완전성 검사(Exhaustiveness Checking)
|
|
category: 10_Wiki/Topics
|
|
status: duplicate
|
|
canonical_id: exhaustiveness-checking
|
|
duplicate_of: "[[Exhaustiveness Checking]]"
|
|
aliases: []
|
|
source_trust_level: A
|
|
confidence_score: 0.9
|
|
verification_status: redirected
|
|
tags: [duplicate, typescript, type-system, pattern-matching]
|
|
last_reinforced: 2026-05-10
|
|
github_commit: pending
|
|
---
|
|
|
|
# 완전성 검사(Exhaustiveness Checking)
|
|
|
|
> **이 문서는 [[Exhaustiveness Checking]] 의 중복본입니다.** Canonical 문서로 redirect.
|
|
|
|
## 매 핵심 요약 (specialization)
|
|
- 매 discriminated union 의 매 case 를 매 모두 처리 했는지 compile-time 에 검사.
|
|
- 매 TypeScript pattern: `never` type 의 사용 — 매 default case 의 `assertNever(x)`.
|
|
- 매 modern (TS 5.x): 매 `switch (true)` narrowing, 매 ts-pattern 라이브러리.
|
|
|
|
## 🔗 Graph
|
|
- 부모: [[Exhaustiveness Checking]] (canonical)
|
|
- Adjacent: [[Discriminated Union]] · [[Never Type]] · [[Pattern Matching]]
|
|
|
|
## 🕓 변경 이력
|
|
| 날짜 | 변경 |
|
|
|---|---|
|
|
| 2026-05-08 | Phase 1 |
|
|
| 2026-05-10 | 중복 처리 — canonical 문서로 redirect |
|