📚 타입스크립트 컴파일러

타입스크립트 컴파일러는 타입스크립트 코드를 분석하여 자바스크립트(*.js)로 컴파일 하는 프로그램이다. tsc 명령어로 실행되고 내부적으로는 타입스크립트 패키지에 포함된 CLI 도구이다.

    "node_modules/typescript": {
      "version": "4.9.4",
      "resolved": "<https://registry.npmjs.org/typescript/-/typescript-4.9.4.tgz>",
      "integrity": "sha512-Uz+dTXYzxXXbsFpM86Wh3dKCxrQqUcVMxwU54orwlJjOpO3ao8L7j5lH+dWfTwgCwIuM9GQ2kvVotzYJMXTBZg==",
      "license": "Apache-2.0",
      "bin": {
        "tsc": "bin/tsc", // 이 부분
        "tsserver": "bin/tsserver"
      },
      "engines": {
        "node": ">=4.2.0"
      }
    },

https://velog.io/@sehyunny/how-ts-compiler-compiles

동작원리

• 스캐닝 (Scanning)

  • 소스 코드가 문자 단위로 읽혀져 토큰(token) 스트림으로 변환된다.

• 파싱 (Parsing)

  • 토큰 스트림이 구문 분석되어 추상 구문 트리(Abstract Syntax Tree)가 생성된다.

AST는 프로그램 분석, 프로그램 변환 시스템에서 사용된다

• 바인딩 (Binding)

  • AST의 선언(declaration) 노드들이 심볼(Symbol)로 연결된다.

• 체킹 (Checking)

  • AST와 심볼 정보를 기반으로 타입 검사가 수행되어 코드의 의미적 유효성이 확인된다.

• 출력 (Emitting)

  • 검사를 통과한 AST를 바탕으로 순회하며 JavaScript 코드가 생성된다.

심볼(Symbol): 코드 내의 선언을 나타내며, 타입 검사 시 중요한 역할을 함.

AST(Abstract Syntax Tree): 토큰 스트림으로 변환된 코드의 구조를 트리 형태로 표현한 것으로, 이후 단계에서의 분석과 변환에 참조됨.

체커(Checker): AST와 심볼 정보를 활용하여 코드의 타입을 검사함.

에미터(Emitter): 최종적으로 JavaScript 코드를 생성하는 단계.