#6 타입스크립트 - 타입은 집합이다(타입 호환성)

이번 글에서는 타입스크립트에서 타입은 어떤 의미를 가지는지에 대해서 정리해보려고 한다! 타입스크립트에서 타입은 어떤 의미를 지니고, 그 특징들을 알아보자. 1️ 타입은 집합이다.

타입스크립트에서 말하는 타입이란 무엇일까? 타입은 "집합"이다.

집합이란 동일한 속성을 가지는 여러 개의 원소들을 하나로 묶어둔 단위를 말한다. number 타입을 예로 들면, number 타입 집합 위 사진과 같이 "-20", "1", "Infinity", "0.123" 과 같이 "숫자"와 같은 동일한 속성을 가지는 여러 개의 원소들을 하나로 묶어둔 집합을 number 타입이라고 하는 것이다. 또한 number 리터럴 타입의 경우에는, number (리터럴) 타입 집합 위 사진과 같이, "20"만을 원소를 가지는 아주 작은 단위의 집합이 number 리터럴 타입이라고 볼 수 있다.

더 나아가면, number 리터럴 타입의 원소는 "숫자"이기 때문에, number 타입의 "부분 집합"이 될 수 있다. 즉, ...