Type의 이해
TypeScript 타입 시스템: 집합론 (Set Theory)
타입 호환성 (Type Compatibility)
초과 속성 체크 (Excess Property Checks)
타입 추론 (Type Inference)
타입 단언 (Type Assertions)
타입 좁히기 (Type Narrowing)