📝 정리

2.2 타입스크립트의 타입 시스템

구조적 타이핑

타입스크립트의 타입은 값의 집합으로 생각할 수 있음

구조적 서브타이핑이란 객체가 가지고 있는 속성을 바탕으로 타입을 구분하는 것이다.

이름이 다른 객체라도 가진 속성이 동일하다면 서로 호환 가능

서로 다른 두 타입 간의 호환성은 오로지 타입 내부의 구조에 의해 결정됨

자바스크립트를 닮은 타입스크립트

구조적 서브타이핑은 명목적 타이핑과 대조되는 타이핑 방식임. 명목적 타이핑은 이름으로 타입 구분, 구조가 같더라도 이름이 다르면 다른 타입

명목적 타이핑은 구조적 타이핑에 비해 조금 더 안전함. 그럼에도 불구하고 타입스크립트가 구조적 타이핑을 채택한 이유는 TS가 JS를 모델링한 언어이기 때문

자바스크립트의 덕 타이핑 어떤 타입에 부합하는 변수와 메서드를 가질 경우 해당 타입에 속하는 것으로 간주

덕 타이핑 vs 구조적 타이핑

타입을 검사하는 시점
덕 타이핑은 런타임에 타입 검사
구조적 타이핑은 컴파일 타임에 타입체커가 타입을 검사

값과 타입 공간에 동시에 존재하는 심볼

클래스
enum

JS의 클래스는 객체 인스턴스를 더욱 쉽게 생성하기 위한 문법 기능으로 실제 동작은 함수와 같음 동시에 타입으로도 사용 → 타입스크립트 코드에서 클래스는 값과 타입 공간 모두에 포함될 수 있음

![[Pasted image 20231231233632.png]]

타입스크립트에서 클래스는 타입 애너테이션으로 사용할 수 있지만 런타임에서 객체로 변환되어 자바스크립트의 값으로 사용됨

enum 역시 런타임에 객체로 변환

![[Pasted image 20231231233822.png]]

TS에서 어떤 심볼이 값으로 사용된다는 것은 컴파일러를 사용해서 JS 파일로 변환해도 여전히 JS 파일에 해당 정보가 남아있음을 의미

반면, 타입으로만 사용되는 요소는 컴파일 이후에 JS 파일에서 해당 정보가 사라짐

😶 나누고 싶은 이야기

type vs interface

type과 interface 중 어떤 걸 써야 할까?

type와 interface 중 어떤 키워드를 더 자주 사용하는지와 관련된 주제의 우형 이야기가 있었습니다.

저는 프로젝트에서 대부분의 객체의 타입을 정의할 때는 interface를 사용하고, interface 사용이 불가능한 유니온 타입 등에는 type을 사용했습니다.

하지만, 이렇게 사용한 데 특별한 이유나 기준을 설정해두진 않고 사용했기 때문에 type과 interface에 대해 더 알아보고자 주제를 선정했습니다.

원시 타입

type은 원시 타입을 정의할 수 있음 interface는 원시 타입 정의 불가능

유니온 타입

유니온 타입은 type만 사용 가능

튜플 타입

튜플 타입은 type만 사용 가능

객체/함수 타입

interface와 type 모두 객체 타입이나 함수 타입 선언 가능

interface의 경우 같은 interface 여러번 선언 가능하고 자동으로 병합됨
type은 병합되지 않고 타입의 이름이 유일해야 한다.
type은 &(intersection)을 사용
- type은 &를 사용하여 교차를 구현함
interface는 상속(inheritance)를 사용
- interface는 extends를 사용해 상속을 구현함

매핑된 객체 타입

매핑된 객체 타입은 type으로만 정의될 수 있고, in 키워드와 keyof 키워드를 사용할 수 있다.

정리

type은 interface의 거의 모든 기능을 커버함
그러나 interface는 확장 가능하고, type은 그렇지 않다.

타입을 사용해야 하는 경우

원시 타입을 정의할 경우
튜플 타입을 정의할 경우
함수 타입을 정의할 경우
유니온 타입을 정의할 경우
매핑된 타입을 정의할 경우

인터페이스를 사용해야 하는 경우

선언 병합의 이점을 활용해야 하는 경우
객체 타입을 정의하거나, 타입을 사용할 필요가 없는 경우

JNU-econovation / hotsix-study

[01/01] 2장 #67