왜 AI가 개발자를 타입이 지정된 언어로 몰아가고 있는가

Source: GitHub Blog

Typed vs. untyped

Python이나 JavaScript와 같은 동적 언어는 개발 속도를 빠르게 할 수 있게 해 주며, 이러한 언어를 옹호하는 개발자들은 그 속도와 유연성을 강조합니다. 하지만 그 민첩성은 정적 타입 언어가 제공하는 안전망이 부족합니다.

Untyped code is not gone, and can still be great. I love, personally, that I can just write code and not define every aspect of something on my average side project. But, when you don’t control every line of code, subtle errors can pass, unchecked. That’s when the types‑driven safety net concept becomes a lot more appealing, and even necessary. AI just increases the volume of “code you didn’t personally write,” which raises the stakes.

타입이 없는 코드는 사라진 것이 아니며 여전히 훌륭할 수 있습니다. 개인적으로는 평균적인 사이드 프로젝트에서 모든 세부 사항을 정의하지 않고도 코드를 바로 작성할 수 있다는 점을 좋아합니다. 하지만 모든 코드를 직접 관리하지 않으면 미묘한 오류가 검증 없이 통과할 수 있습니다. 이때 타입 기반 안전망 개념이 훨씬 매력적이고 심지어 필수가 됩니다. AI는 “내가 직접 작성하지 않은 코드”의 양을 늘려 위험도를 높입니다.

Type systems fill a unique role of surfacing ambiguous logic and mismatches of expected inputs and outputs. They ensure that code from any source can conform to project standards. They’ve basically become a shared contract between developers, frameworks, and AI tools that are generating more and more scaffolding and boilerplate for developers.

타입 시스템은 모호한 로직과 기대 입력·출력 간의 불일치를 드러내는 독특한 역할을 합니다. 이는 모든 출처의 코드가 프로젝트 표준에 맞도록 보장합니다. 결국 타입 시스템은 개발자, 프레임워크, 그리고 점점 더 많은 스캐폴딩과 보일러플레이트를 생성하는 AI 도구들 간의 공유 계약이 되었습니다.

With AI tools and agents producing larger volumes of code and features than ever, it only makes sense that reliability is more critical. And… that is where typed languages win the debate. Not because untyped languages are “bad,” but because types catch the exact class of surprises that AI‑generated code can sometimes introduce.

AI 도구와 에이전트가 그 어느 때보다 많은 코드와 기능을 생산함에 따라 신뢰성이 더욱 중요해지는 것은 당연합니다. 그리고… 여기서 정적 타입 언어가 논쟁에서 승리합니다. 이는 타입이 없는 언어가 “나쁘다”는 의미가 아니라, 타입이 AI가 생성한 코드에서 종종 나타나는 특정 종류의 예기치 않은 상황을 포착하기 때문입니다.

타입 안전성이 그렇게 큰 문제인가?

네!

다음 질문.

하지만 실제로 2025년 학술 연구에 따르면 LLM이 생성한 컴파일 오류의 무려 94%가 타입 체크 실패였다고 합니다. 만약 실패의 94%가 사라진다면 여러분의 프로젝트가 얼마나 개선될까요! 삶이 더 나아질 겁니다. 피부도 깨끗해지고. 키도 커질 겁니다. 아니면 최소한 “왜 이제 문자열을 반환하나요?” 같은 디버깅 세션이 줄어들 겁니다.

Octoverse 2025가 타입 언어의 부상에 대해 말하는 것

Octoverse 2025에 따르면, 2025년 8월 현재 TypeScript가 GitHub에서 가장 많이 사용되는 언어가 되었으며 Python과 JavaScript를 모두 제치고 1위를 차지했습니다. TypeScript는 2025년에 100만 명이 넘는 기여자를 늘렸으며 (+66% YoY, 2025년 8월 대비 2024년 8월) 전체 개발자 수는 약 260만 명으로 추정됩니다. 이는 기본적으로 TypeScript로 프로젝트를 스캐폴딩하는 프레임워크(예: Astro, Next.js, Angular) 덕분이기도 합니다. 보고서는 또한 TypeScript의 성장에 AI‑지원 개발이 부스트를 제공했다는 상관관계 증거도 발견했습니다.

이는 AI가 코드 작성 속도에만 영향을 미치는 것이 아니라, 개발자들이 어떤 언어와 도구를 사용하는지도 바꾸고 있음을 의미합니다. 타입이 있는 생태계는 AI가 기존 프로젝트에 새로운 코드를 삽입할 때 가정이 깨지지 않도록 도와주기 때문에 이점이 있습니다.

TypeScript만이 전부가 아닙니다. 다른 타입 언어들도 빠르게 성장하고 있습니다!

• Roblox의 스크립팅 언어인 Luau는 점진적 타입 언어로서 연간 194% 이상의 성장률을 보였습니다.
• LaTeX와 비교되지만 함수형 설계와 강력한 타입을 갖춘 Typst는 연간 108% 이상의 성장률을 기록했습니다.
• Java, C++, C#와 같은 오래된 언어들조차도 이번 보고서에서 사상 최대 성장률을 보였습니다.

이는 점진적 타입, 선택적 타입, 강력한 타입 모두가 모멘텀을 얻고 있으며, 각각이 구축하는 프로젝트의 특성과 AI 자동화 수준에 따라 다른 수준의 가드레일을 제공한다는 의미입니다.

여기서 우리는 어디로 가야 할까요?

타입 시스템은 동적 언어를 대체하지는 않습니다. 하지만 AI 코딩 도구와 함께 작업하는 개발자들에게 흔히 사용되는 안전 기능이 된 이유가 있습니다. AI‑지원 개발 및 에이전트 개발이 인기를 끌면서, 타입 시스템이 신뢰할 수 있는 소프트웨어를 구축하고 배포하는 방식에서 더욱 중심적인 역할을 할 것으로 기대됩니다.

정적 타입은 코드가 더 신뢰할 수 있고 유지보수가 용이하도록 도와줍니다. 개발자들에게 공유되고 예측 가능한 구조를 제공합니다. 이런 놀라움이 줄어들면 흐름에 몰입할 수 있습니다 (pun intended!).