primitive
number, string, boolean은 값 자체의 의미가 명확할 때 쓴다.
기본 타입 선택 기준
값의 형태, 변경 가능성, 실패 가능성을 보면 기본 타입을 더 정확히 고를 수 있다.
array / tuple
길이가 자유로우면 배열, 위치별 의미가 고정되면 튜플을 고른다.
enum / union
런타임 값이 필요하면 enum, 타입 수준 제한이면 리터럴 유니온이 가볍다.
void / never
반환 없음은 void, 도달 불가능한 분기나 throw 전용은 never로 표현한다.
기본 타입은 단순해 보여도 이후 함수와 객체 타입 설계의 기준점이 된다.