TypeScript 미드레벨 종합 기술면접

공변성은 타입 A가 B의 서브타입일 때 Container<A>도 Container<B>의 서브타입이 되는 것이고, 반공변성은 그 반대 관계입니다. 함수 매개변수는 반공변적인데, 이는 더 넓은 타입을 받는 함수가 더 좁은 타입을 받는 함수를 대체할 수 있어야 타입 안정성이 보장되기 때문입니다(리스코프 치환 원칙). 반환 타입은 공변적인데, 더 구체적인 타입을 반환하는 함수가 더 일반적인 타입을 반환하는 함수를 안전하게 대체할 수 있기 때문입니다. strictFunctionTypes 옵션을 활성화하면 메서드가 아닌 함수 타입의 매개변수에 대해 올바른 반공변성 검사가 수행되어 더 엄격한 타입 체크가 가능합니다.

V8의 가비지 컬렉션은 Young Generation(Scavenger)과 Old Generation(Mark-Sweep-Compact)으로 나뉘며, Young Generation은 빠르게 생성되고 소멸되는 객체를 처리하고 Old Generation은 오래 살아남는 객체를 처리합니다. GC가 실행될 때 애플리케이션이 일시 중지되므로(Stop-the-World) 빈번한 GC는 성능 저하를 일으킵니다. 대용량 파일이나 데이터 처리 시 전체를 메모리에 로드하면 Old Generation으로 승격되어 Major GC를 유발하므로, Node.js의 Readable/Writable Stream을 사용해 청크 단위로 처리하면 메모리 사용량을 일정하게 유지할 수 있습니다. TypeScript에서는 Stream 타입을 제네릭으로 정의하여 타입 안전성을 확보할 수 있습니다.

이벤트 소싱은 상태 변경을 직접 저장하는 대신 상태를 변경시킨 이벤트들을 순서대로 저장하는 패턴으로, 완전한 감사 추적(Audit Trail)과 시간 여행(Time Travel) 디버깅이 가능합니다. 장점은 데이터 변경 이력의 완전한 보존, 이벤트 재생을 통한 다양한 뷰 생성, 도메인 이벤트의 명시적 표현이고, 단점은 이벤트 스키마 변경 관리의 복잡성과 쿼리 성능 문제입니다. 금융 거래, 주문 처리, 협업 도구 등 이력 추적이 중요한 도메인에 적합합니다. TypeScript 구현 시 이벤트 타입을 유니온 타입으로 정의하고 버전 필드를 포함시키며, 이벤트가 많아지면 주기적으로 현재 상태의 스냅샷을 저장하여 재생 성능을 최적화합니다.

순환 의존성은 모듈 A가 B를 import하고 B가 다시 A를 import할 때 발생하며, CommonJS에서는 부분적으로 초기화된 모듈이 반환되어 undefined 참조 에러가 발생할 수 있습니다. ES Module에서는 호이스팅으로 일부 완화되지만 여전히 문제가 될 수 있습니다. 탐지 방법으로는 madge, dpdm 같은 도구를 사용하거나 ESLint의 import/no-cycle 규칙을 활성화할 수 있습니다. 해결 방법은 공통 의존성을 별도 모듈로 추출하기, 배럴 파일(index.ts)에서 재export하는 구조 피하기, 의존성 역전 원칙(DIP)을 적용해 인터페이스에 의존하도록 리팩토링하기, 지연 import(동적 import)를 사용하는 것 등이 있습니다.

typeof는 원시 타입 검사에, instanceof는 클래스 인스턴스 검사에, in 연산자는 객체의 속성 존재 여부 검사에 사용됩니다. 사용자 정의 타입 가드는 'parameterName is Type' 형태로 정의하며, 복잡한 조건이나 API 응답 검증에 유용합니다. is 키워드는 함수가 true를 반환할 때 해당 매개변수의 타입을 좁혀주는 역할을 하지만, 런타임 검증 로직이 불완전하면 컴파일러는 타입이 보장된 것으로 믿지만 실제로는 다른 타입이 들어올 수 있어 런타임 에러가 발생합니다. 따라서 타입 가드 내부에서 모든 필수 속성을 철저히 검증해야 하며, zod나 io-ts 같은 런타임 검증 라이브러리를 사용하면 더 안전합니다.