TypeScript가 승리했습니다. 그 결과 실제로 무엇을 얻었을까요?

이제 더 이상 TypeScript 도입에 대해 진지하게 논쟁하는 사람은 없습니다. 새로운 프론트엔드 프로젝트는 기본적으로 이를 채택하며, 끝까지 버티는 것은 레거시 코드베이스(legacy codebases)나 가끔씩 쓰이는 일회성 스크립트뿐입니다. 논쟁은 끝났고, TypeScript가 승리했습니다.

하지만 "승리했다"는 부분은 지루한 이야기입니다. 흥미로운 부분은 타입(types)이 실제로 무엇에 유용했는가 하는 점입니다. 이는 "런타임(runtime) 전에 오타를 잡아낸다"라는 원래의 홍보 문구보다 훨씬 더 많고, 또한 다릅니다.

타입은 업데이트할 필요가 없는 가장 저렴한 문서입니다

함수 시그니처(function signature)는 결코 낡은 정보가 될 수 없는 문서입니다. 왜냐하면 정보가 틀리는 순간 컴파일러(compiler)가 빌드를 실패시키기 때문입니다.

function scheduleReminder(
  userId: string,
  at: Date,
...

당신은 단 하나의 주석(comment)도 읽지 않고도 이 함수를 호출하는 법에 대해 거의 모든 것을 이미 알고 있습니다. 무엇이 필요한지, 무엇을 반환하는지, 그리고 channel이 정확히 세 가지 문자열 중 하나라는 사실까지 말입니다. 동일한 내용을 주장하는 주석은 누군가 `

타입이 지정되지 않은 (untyped) JavaScript에서 모델에게 "이 객체에 필드를 추가해줘"라고 요청하면, 모델은 사용 사례를 바탕으로 객체의 형태를 추측합니다. 하지만 TypeScript에서 요청하면 타입 자체가 곧 명세 (spec)가 됩니다. 무엇이 허용되는지 정확히 알고 있으며, 모델의 실수는 새벽 2시의 운영 장애 (production incident) 대신 컴파일 에러 (compile error)로 드러납니다. 타입은 "그럴듯한 코드 생성"을 "증명 가능한 코드 생성"으로 변화시킵니다.

이는 과거의 반론을 완전히 뒤집습니다. 예전에는 타입이 작업 속도를 늦춘다고 말하곤 했습니다. 하지만 AI 보조 워크플로우 (AI-assisted workflow)에서 타입은 오히려 속도를 높여줍니다. 모든 줄을 일일이 수동으로 검토하는 대신, 생성된 코드를 확신을 가지고 수용할 수 있게 해주는 가드레일 (guardrail) 역할을 하기 때문입니다.

복리 효과를 내는 몇 가지 습관

타입이 이토록 강력한 레버리지 (leverage)를 제공한다면, 단순히 컴파일러를 달래기 위해서가 아니라 의도를 가지고 작성할 가치가 있습니다.

• 불리언 (boolean) + 옵셔널 (optional) 대신 유니온 (union)을 선호하세요. status: "loading" | "error" | "ready"는 서로 모순될 수 있는 세 개의 독립적인 불리언 플래그보다 훨씬 낫습니다.
• 도메인 타입 (domain types)에 이름을 붙이세요. type Cents = number와 같이 작성하면 모든 사용 지점에서 의도가 문서화되며, 나중에 타입을 더 엄격하게 제한할 수도 있습니다.
• any를 피하고, unknown을 사용하여 타입 좁히기 (narrowing)를 하세요. any는 당신이 비용을 지불하며 구축한 안전망에 뚫린 구멍과 같습니다.
• 추론 (inference)을 활용하세요. 모든 것에 어노테이션 (annotation)을 달 필요는 없습니다. 경계 부분(함수 시그니처, 내보내진 API)에 어노테이션을 달고 나머지는 추론되도록 두세요.

요점 (The takeaway)

TypeScript의 진정한 승리는 오타를 잡아내는 것이 아니었습니다. 그것은 코드베이스를 _명시적이고 강제된 계약 (explicit, enforced contracts)_을 가진 무언가로 탈바꿈시킨 것이었습니다. 그리고 이 계약이야말로 두려움 없는 리팩터링 (refactoring), 신뢰할 수 있는 툴링 (tooling), 그리고 믿을 수 있는 AI 보조 기능이 조용히 의존하고 있는 바로 그 핵심 요소임이 드러났습니다.

우리는 특정 부류의 버그를 방지하기 위해 타입을 도입했습니다. 그리고 이제는 타입이 다른 모든 것들이 구축되는 기반 (substrate)이 되었기에 타입을 유지하고 있습니다. 타입을 잘 작성하는 데 투자할 가치는 충분합니다.