타입 정리 지도

기본 타입은 값의 모양과 허용할 연산을 함께 정한다

값이 숫자인지, 목록인지, 고정된 묶음인지보다 중요한 것은 그 값으로 어떤 연산을 안전하게 할 수 있는지입니다.

값의 모양 연산 가능성 결측 허용
number / string / boolean

원시 값

계산, 출력, 조건 판단처럼 값 하나의 의미가 분명할 때 기본 선택입니다.

T[] / Array<T>

같은 타입 목록

여러 값을 순서대로 다루되 모든 요소가 같은 규칙을 따라야 할 때 사용합니다.

[A, B]

고정된 자리

좌표, 결과 쌍처럼 위치마다 의미와 타입이 정해져 있으면 튜플이 맞습니다.

enum

이름 있는 선택지

상태, 방향, 코드처럼 제한된 값 집합에 이름을 붙여 읽기 쉽게 만듭니다.

void / never

반환 흐름

값을 돌려주지 않으면 void, 정상 종료가 불가능한 경로는 never로 표현합니다.

null / undefined / any

주의 구역

값 없음과 타입 검사 해제는 설계 의도가 분명할 때만 좁은 범위로 허용합니다.

선택 순서

1 값의 형태 하나의 값, 목록, 고정 묶음, 선택지 중 무엇인지 나눕니다.
2 허용할 연산 숫자 계산, 문자열 조합, 배열 순회처럼 가능한 동작을 정합니다.
3 빈 값 처리 null과 undefined를 허용한다면 유니온으로 명시합니다.
4 안전성 점검 any가 필요하다면 범위를 줄이고, 나중에 unknown으로 바꿀 계획을 둡니다.