타입 표기와 추론

타입 정보는 직접 쓰거나, 코드 흐름에서 이어진다

첫 프로그램의 핵심은 모든 곳에 타입을 적는 것이 아니라, 중요한 경계에는 타입 계약을 세우고 나머지는 추론이 따라오게 하는 감각입니다.

직접 명시


              let currentYear:
              number
              = 2025;

변수 옆의 타입 주석은 이후 할당 가능한 값의 범위를 정합니다.


              let greeting =
              createWelcomeMessage(name)
              // string으로 판단

함수 반환 타입이 이어지므로 변수 타입을 다시 쓰지 않아도 됩니다.


              let invalidYear:
              number
              = "2025";

계약은 number인데 값은 string이면 실행 전에 오류로 표시됩니다.

source TS 코드 작성 타입 주석과 실제 값을 함께 읽습니다.

계약 타입 관계 계산 변수, 매개변수, 반환값의 약속을 연결합니다.

feedback 오류 위치 표시 맞지 않는 값은 편집 단계에서 바로 드러납니다.

emit JS로 변환 타입 정보는 검사 후 제거되고 실행 코드만 남습니다.

초기 타입 습관은 타입을 많이 쓰는 것이 아니라, 코드의 경계가 분명해지는 곳에 쓰는 것입니다.

type-safe habit