← Back to NOTES 🌰 ← Back to Effective TypeScript

← 아이템 36 - 해당 분야의 용어로 타입 이름 짓기

핵심 요약

타입스크립트는 구조적 타이핑(덕 타이핑)을 사용하기 때문에 값을 세밀하게 구분하지 못하는 경우가 있다. 값을 구분하기 위해 공식 명칭(nominal typing)이 필요하다면 상표(brand)를 붙이는 것을 고려해야 한다. 상표 기법은 타입 시스템에서 동작하지만 런타임에 상표를 검사하는 것도 동일한 효과를 얻을 수 있다.

자세한 내용

구조적 타이핑의 문제

구조적 타이핑(아이템 4)의 특성 때문에 가끔 코드가 이상한 결과를 낼 수 있다.

Vector2D 예제:

• 구조적 타이핑 관점에서는 문제없음
• 하지만 수학적으로는 3차원 벡터를 2차원 벡터 함수에 전달하는 것은 오류

공식 명칭(Nominal Typing)

공식 명칭을 사용하는 것은 "타입"이 아니라 "값"의 관점에서 타입을 구분하는 것이다.

타입스크립트에서는 "상표(brand)"를 붙여서 구현한다.

상표 기법의 특징

장점:

• 구조적으로 동일하지만 의미적으로 다른 타입 구분 가능
• 타입 시스템 내에서 표현할 수 없는 속성 모델링 가능
• 실수 방지

한계: