TypeScript

TypeScript는 JavaScript 프로그램에 정적 타입 검사와 개발 도구 지원을 더하는 언어이다. 값과 함수의 관계를 타입으로 표현해 실행 전에 오류의 일부를 찾는다. 타입 검사를 통과했다는 사실이 모든 입력과 실행 결과의 올바름을 보증하지는 않는다.

타입 검사와 추론

변수와 함수에 타입을 적거나 초기값과 사용 방식에서 타입을 추론할 수 있다. 예를 들어 수량이 숫자여야 하는 함수에 문자열을 넘기는 코드를 검사 단계에서 지적할 수 있다. 검사 강도는 strict 관련 설정과 any 사용 범위 등에 영향을 받는다.

타입 소거

타입 주석은 자바스크립트 결과물에서 제거된다. 사용자 정의 타입을 선언했다고 네트워크 응답의 필드가 실행 중 자동으로 검증되는 것은 아니다. 타입 단언도 값을 변환하거나 실제 내용을 확인하는 동작과 다르다.

API 응답 예시

상품 응답에 price라는 숫자 필드가 있다고 선언하더라도 서버가 잘못된 문자열을 보낼 수 있다. 신뢰 경계에서 실제 데이터를 검증한 뒤 내부 코드가 그 결과를 타입으로 활용하도록 구성하면 정적 검사와 런타임 검증의 역할이 분명해진다.

빌드와 실행

TypeScript의 문법 변환과 타입 검사는 도구 구성에 따라 별도 단계가 될 수 있다. 개발 서버가 화면을 보여 준다는 이유만으로 전체 타입 검사가 끝났다고 가정하지 않는다. 검사 명령, 컴파일 대상과 실제 실행 환경을 함께 관리한다.

참고 자료

관련 기술 비교