AI 시대 프로그래밍 언어는 어떻게 진화해야 할까

핵심 요약

• Elixir 창시자 José Valim이 AI 코딩 에이전트가 대부분의 코드를 작성하는 미래에 프로그래밍 언어가 어떻게 변할지 분석했다.
• AI 에이전트가 코드 작성을 주도하면 프로그래밍 언어 커뮤니티의 정체성이 흔들릴 수 있다: Python의 '명백한 방법'이나 Ruby의 '프로그래머 행복'은 에이전트에게 의미가 없어질 수 있다.
• 생태계는 모순적인 영향을 받는다: 에이전트가 알려진 알고리즘 구현과 언어 간 이식을 빠르게 처리해 작은 커뮤니티가 따라잡을 수 있게 하지만, 동시에 라이브러리가 저렴해지면 협력할 필요성이 줄어든다.
• 옵션 체이닝 같은 인간 친화적 문법은 에이전트에겐 중요하지 않다: 에이전트는 보일러플레이트에 신경쓰지 않으며, 토큰 효율성도 부차적 고려사항이다.
• 프로그래밍 언어는 완전히 사라지지 않을 것이다: 아키텍처별로 어셈블리를 관리할 필요, 시스템 프로그래밍·정리 증명·동시성 처리 등 다양한 도메인별 언어의 필요성이 여전하다.
• 에이전트 시대에는 문법 대신 **더 강한 보증(guarantees)** 이 핵심이 된다: 타입 추론 대신 명시적 타입, 정적 검증·런타임 보호·형식 검증을 조합하는 접근이 중요해진다.
• LSP(Language Server Protocol)는 에이전트 시대에 맞지 않는다: 파일·줄·열 기반 설계는 에이전트가 필요로 하는 정보 조회 방식과 맞지 않으며, SQLite나 Datalog 같은 쿼리 인터페이스를 가진 프로그램 데이터베이스가 더 적합하다.
• 에이전트는 프로그램 데이터베이스로 '특정 함수를 호출하는 모든 공개 함수 찾기' 같은 복잡한 질의를 실행할 수 있어, 기존 IDE 기능으로는 구현 불가능한 분석이 가능해진다.
• 대규모 코드베이스에서는 지역성이 극히 중요하다: 원숭이 패칭·암묵적 훅·동적 재바인딩 같은 원거리 효과는 프로그램 데이터베이스가 있어도 추적이 어려워 에이전트를 혼동시킨다.
• 디버거 대신 **런타임 관찰성** 이 필요하다: 에이전트는 코드 계측·추적 수집·상관관계 분석을 인간보다 훨씬 빠르게 처리하므로, 프로덕션 시스템 모니터링을 프로그래밍 방식으로 쿼리할 수 있는 인터페이스가 중요하다.
• Erlang/Elixir의 런타임은 프로세스·소켓·감시자·ETS 테이블·메시지 큐 등을 검사하는 기능을 제공해 이미 이러한 방향을 선도하고 있다.