TypeScript 시니어 프레임워크 면접

Scanner는 소스 코드를 토큰으로 분리하고, Parser는 토큰을 AST(Abstract Syntax Tree)로 변환합니다. Binder는 심볼과 스코프를 생성하여 선언과 참조를 연결하고, Checker는 타입 검사를 수행하며, Emitter는 JavaScript 코드를 생성합니다. 커스텀 변환 도구는 주로 Transformer API를 사용하여 Checker 이후 Emitter 이전 단계에서 AST를 조작해야 하며, ts.TransformerFactory를 통해 타입 정보에 접근하면서 안전한 변환을 수행할 수 있습니다. ts.TypeChecker를 활용하면 노드의 타입 정보를 쿼리하여 타입 기반 코드 생성이 가능합니다.

구조적 타이핑은 타입의 구조(프로퍼티와 메서드)가 같으면 호환되는 방식이고, 명목적 타이핑은 타입의 이름이 같아야 호환되는 방식입니다. TypeScript는 구조적 타이핑을 사용하여 { id: string } 타입을 가진 UserId와 ProductId가 서로 호환되는 문제가 발생할 수 있습니다. Brand 타입은 type UserId = string & { readonly brand: unique symbol } 형태로 고유한 심볼을 추가하여 구조적으로 다른 타입을 만들어 명목적 타이핑을 시뮬레이션합니다. 이를 통해 함수 파라미터에서 잘못된 ID 타입 전달을 컴파일 타임에 방지할 수 있습니다.

Classic 방식은 상대 경로부터 상위 디렉토리로 올라가며 모듈을 찾고, Node 방식은 node_modules를 포함하여 Node.js와 동일한 해석 전략을 사용합니다. baseUrl은 절대 경로 import의 기준점을 설정하고, paths는 경로 별칭을 매핑합니다. 모노레포에서는 패키지 간 의존성 해석 시 심볼릭 링크나 paths 설정이 필요하며, Project References(tsconfig.json의 references 필드)를 사용하면 패키지 간 의존성을 명시하여 증분 빌드와 병렬 빌드가 가능해져 빌드 시간을 크게 단축할 수 있습니다.

infer 키워드는 Conditional Types의 extends 절에서 타입의 일부를 변수로 캡처하여 추출할 수 있게 합니다. type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never 형태로 함수 반환 타입을 추출하고, type Unwrap<T> = T extends Promise<infer U> ? U : T로 Promise 타입을 언래핑합니다. 재귀적 Conditional Types는 type DeepReadonly<T> = { readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K] } 형태로 구현하지만, 순환 참조 타입에서는 제한이 있습니다. TypeScript 4.5+는 꼬리 재귀 최적화로 재귀 깊이 제한을 완화했습니다.

Declaration Merging은 같은 이름의 선언을 하나로 병합하는 메커니즘으로, 인터페이스는 프로퍼티가 병합되고, 네임스페이스는 export된 멤버가 병합되며, 모듈은 augmentation을 통해 확장됩니다. declare global { ... }은 전역 스코프를 확장하고, declare module 'express-serve-static-core' { interface Request { user?: User } }는 Express Request를 확장합니다. .d.ts 파일은 타입 선언만 포함하며 런타임 코드를 생성하지 않는 ambient declaration 파일로, 기존 JavaScript 라이브러리에 타입을 추가하거나 전역 타입을 선언할 때 사용됩니다.