primitive부터 never까지

기본 타입 선택 기준

기본 타입은 외울 목록이 아니라 값이 어디서 오고 어떤 연산을 허용할지 정하는 첫 번째 계약입니다.

원시 값

number, string, boolean

계산, 표시, 조건 분기에 쓰이는 number, string, boolean을 구분해 잘못된 연산과 비교를 막습니다.

const ok: boolean
묶음 값

array와 tuple

같은 타입의 반복은 배열로, 위치별 의미가 다르면 튜플로 표현합니다.

[string, number]
이름 목록

enum과 리터럴 대안

정해진 선택지를 코드 이름으로 다룰 때 사용하되 실제 출력값도 함께 고려합니다.

enum Role
흐름 제어

void, null, never

반환 없음, 값 없음, 도달 불가 상태를 구분해 함수 흐름을 명확히 합니다.

(): never
any 경계 학습 초반에도 any는 마지막 선택지로 두고 unknown 또는 구체 타입을 먼저 검토합니다.
튜플 판단 배열 길이와 위치 의미가 중요할 때만 튜플을 선택합니다.
never 확인 모든 분기를 처리했는지 확인하는 타입 가드 마무리에 never가 자주 등장합니다.

기본 타입을 정확히 고르면 이후 객체, 함수, 제네릭에서 타입이 흔들리는 범위가 크게 줄어듭니다.