타입스크립트의 동작 원리

타입 스크립트의 동작 원리에 대해 담았습니다.

1️⃣ 컴파일

컴퓨터는 프로그래밍 언어를 직접 이해할 수 없기 때문에 이를 기계어로 번역하여 실행하게 됩니다. 이 과정을 ‘컴파일’이라합니다.

2️⃣ 컴파일 과정 - 자바스크립트

컴파일러는 프로그래밍 언어는 바로 기계어로 변역하는 것이 아니라 AST(추상 문법 트리)로 먼저 변환을 하게 된다.

즉, 아래 사진과 같이 코드에서 AST로 변환 후 바이트 코드로 변환되는 과정을 거치게 된다.

AST 추상 문법 트리는 코드의 공백이나 주석, 탭 등을 제거하고 트리 구조로 코드를 쪼개 둔 아래의 예시(정환한 형태의 예시는 아님) 같은 형태이다.

3️⃣ 컴파일 과정 - 타입 스크립트

타입 스크립트의 컴파일 과정도 AST로 변환으로 시작된다. 이 후 AST에서 기계어로 변환되는 것이 아니라 타입 검사가 수행된다. 이 과정에서 코드의 타입을 검사하고 만약 오류가 있다면 컴파일이 중단된다. 검사 시 오류가 없다면 기계어가 아닌 자바 스크립트 코드로 변환된다.

타입 검사 시 타입 관련 된 코드들은 삭제되어 자바 스크립트 코드로 변환되는 것을 알 수 있다.

이후 변환된 자바 스크립트 코드는 다른 코드들과 같이 컴파일을 통해 기계어로 변환 후 실행된다.

즉, 타입 스크립트는 타입 검사를 통해 더 안전한 자바 스크립트 코드를 사용할 수 있게 한다.