타입 시스템

개념 설명

TypeScript의 구조적 타이핑 시스템은 타입의 구조(shape)가 같으면 호환 가능하다고 판단하며, 명시적 타입 선언과 타입 추론을 통해 정적 타입 검사를 수행한다.

핵심 포인트

• 구조적 타이핑: 구조가 같으면 다른 타입이어도 호환 (덕 타이핑)
• 명목적 타이핑: 브랜드 타입, private 필드, unique symbol로 구현
• 타입 추론: 변수 초기화, 함수 반환값, 문맥적 타이핑 자동 추론
• 타입 호환성: 공변성(covariance), 반공변성(contravariance) 규칙

예시 코드

// 구조적 타이핑
interface Point { x: number; y: number; }
interface Coord { x: number; y: number; }
let p: Point = { x: 1, y: 2 };
let c: Coord = p; // OK - 같은 구조