Vercel, AI를 위한 언어를 만들었다. 왜?

전통적인 프로그래밍 언어는 컴파일러 오류를 빽빽한 '텍스트의 벽'으로 제시하며, 기계 처리보다는 인간의 해석에 최적화되어 있습니다. 이러한 비정형 경고 및 추적은 개발자에게는 이해할 수 있지만, 자율적으로 코드를 디버그하고 수정하려는 자동화된 AI 에이전트에게는 상당한 장애물입니다. 레거시 툴체인의 이러한 근본적인 설계 선택은 AI 기반 개발의 효율성을 제한합니다.

Vercel의 Zero 언어는 이러한 상호작용을 근본적으로 재고합니다. 전체 툴체인이 모든 진단에 대해 구조화된 JSON을 출력하여 인간의 가독성과 기계의 실행 가능성 사이의 간극을 메웁니다. 여기에는 심각도(severity), 오류 코드(error code), 정확한 위치(exact location), 예상 및 실제 값(expected and actual values), 그리고 내장된 수정 제안(embedded repair suggestions)과 같은 정밀한 세부 정보가 포함되어 코드 문제에 대한 세분화되고 기계가 파싱할 수 있는 보기를 제공합니다.

Zero의 툴체인은 모든 출력에 대해 명시적으로 JSON 옵션을 제공하여 컴파일러, 린터 및 기타 구성 요소가 AI 소비에 적합한 형식의 데이터를 전달하도록 보장합니다. 이 JSON 구조 내의 진단은 오류 메시지뿐만 아니라 해당 `severity`(심각도), 고유한 `code`(코드), 그리고 소스 파일 내의 정확한 `location`(위치)을 상세히 설명합니다. 또한, LLM을 위한 실행 가능한 `help`(도움) 필드와 사람의 검토가 필요한지 여부를 나타내는 `fix safety`(수정 안전성) 등급을 포함합니다.

이 AI 네이티브 접근 방식의 대표적인 예인 `zero fix --json` 명령어를 살펴보세요. 이 명령어가 호출되면 단순히 문제를 식별하는 것을 넘어 JSON 형식으로 포괄적이고 기계가 읽을 수 있는 '계획'을 생성합니다. 이 계획은 특정 편집 내용을 설명하고, `safety levels`(안전 수준)을 평가하며, `mode`(모드)를 정의하고, `applies edit`(편집 적용) 작업과 `self-host repair policy`(자체 호스팅 수리 정책)를 상세히 설명하여 LLM이 광범위한 훈련이나 사람의 개입 없이 코드를 직접적이고 안정적으로 수정하는 데 필요한 모든 컨텍스트를 제공합니다.

Zero는 명시적 원칙을 옹호하며 개발자가 함수의 부작용을 명확하게 선언하도록 요구합니다. 이의 핵심은 모든 I/O 작업에 대한 필수 주석인 `world` 기능입니다. 여기에는 파일 접근, 네트워크 호출, 또는 단순히 콘솔에 출력하는 것까지 포함됩니다. `world`의 존재는 즉시 I/O 부작용을 알리고, 부재는 I/O가 없는 함수임을 보장하여 인간과 AI 독자 모두에게 즉각적인 명확성을 제공합니다.

이 기능 시스템은 강력한 컴파일 타임 안전성을 가능하게 합니다. 컴파일러는 주어진 대상에 대해 사용할 수 없는 기능을 적극적으로 거부하여 런타임 오류를 방지합니다. 예를 들어, 직접적인 파일 시스템 상호작용이 없는 WebAssembly (WASM) 대상용으로 컴파일된 함수 내에서 파일 시스템 접근을 시도하면 컴파일 타임 오류가 발생합니다. 이는 예기치 않은 상황을 미리 방지하고 배포 전에 예측 가능한 실행 환경을 보장합니다.

I/O 외에도 Zero는 오류 처리에도 명시성을 확장합니다. 실패할 수 있는 함수는 `raises` 키워드를 사용하고, `check`는 잠재적 오류를 명시적으로 전파하여 Rust의 엄격한 안전 개념을 반영하지만, 독특하고 AI 친화적인 구현 방식을 가집니다. 이러한 포괄적인 접근 방식은 코드가 자신의 동작에 대해 '거짓말할 수 없도록' 보장하며, 이는 신뢰할 수 있는 AI 기반 코드 생성 및 수정에 있어 중요한 속성입니다.

Vercel의 Zero 데모는 인상적이었습니다. LLM은 해당 언어에 대한 사전 훈련 없이도 도구 체인의 구조화된 JSON 출력만을 사용하여 Zero 코드를 성공적으로 디버깅했습니다. 이는 AI 에이전트가 프로그래밍 오류를 자율적으로 이해하고 해결하는 비전을 보여주었으며, 이는 AI 네이티브 도구 체인의 핵심 약속입니다.

그러나 AI가 이러한 기능을 위해 새로운 언어를 *필요로 한다*는 전제는 면밀한 조사가 필요합니다. 가장 주목할 만한 Rust와 같은 기존 시스템 언어들은 Zero의 모든 도구 체인 구성 요소에 걸친 광범위하고 깊은 통합은 아닐지라도, 수년 동안 컴파일러가 생성한 JSON 오류 출력을 제공해 왔습니다. 기계가 읽을 수 있는 진단의 기본 개념은 완전히 새로운 것이 아닙니다.

더욱 중요하게는, LLM의 한계에 대한 핵심 가정이 잘못되었을 수 있습니다. 현재의 대규모 언어 모델은 기존의 사람이 읽을 수 있는 컴파일러 오류 및 스택 트레이스를 구문 분석하고 이에 따라 조치하는 데 놀라운 능력을 보여줍니다. 이들은 기존 언어에서 수십억 줄의 코드와 관련 디버깅 시나리오를 포함하는 방대한 훈련 데이터 세트의 이점을 누립니다. Zero는 특히 LLM이 Python, JavaScript, Rust와 같은 언어 작업에 이미 능숙하다는 점을 고려할 때, 그 필요성을 증명하기 위해 이 막대한 데이터 부족을 극복해야 합니다. 자세한 내용은 공식 Zero Programming Language 사이트를 방문하십시오.

Zero는 부인할 수 없이 강력한 개념 증명(proof-of-concept)을 제시합니다. Vercel은 AI 에이전트를 위해 처음부터 구축된 언어와 그 도구 체인이 어떻게 완전히 새로운 디버깅 패러다임을 열 수 있는지 성공적으로 시연했습니다. LLM이 직접 소비할 수 있는 구조화된 JSON 출력과 I/O 작업을 명확하게 표시하기 위한 명시적인 `world` 기능은 미래의 AI 중심 개발에 대한 설득력 있는 통찰력을 제공합니다.

이러한 설득력 있는 비전에도 불구하고, Zero는 엄청난 채택 장벽에 직면해 있습니다. 미션 크리티컬하거나 복잡한 시스템을 구축하는 개발자들은 이미 Rust, Zig, Go와 같은 깊이 뿌리내린 성숙한 생태계에 의존하고 있습니다. 이러한 기존 언어들은 Zero가 현재 부족한 방대한, 검증된 라이브러리, 강력한 도구, 활발한 커뮤니티를 자랑합니다. AI 친화적인 기능을 갖추고 있음에도 불구하고, 이러한 견고한 기반을 신생 언어를 위해 포기하는 것은 대부분의 엔지니어링 팀에게 엄청난 요구로 남아 있습니다.

Zero는 광범위한 주류 채택을 달성하지 못할 수도 있지만, 그 유산은 혁신적일 수 있습니다. 이 언어는 기존 도구 체인이 진화하도록 압력을 가하여 AI 에이전트를 위한 더 풍부하고 구조화된 출력을 제공하도록 강제합니다. Vercel의 대담한 실험은 모든 프로그래밍 언어가 궁극적으로 AI 중심 미래에 어떻게 적응할 수 있는지에 대한 방향을 효과적으로 제시하며, 기존 솔루션을 완전히 대체하기보다는 설계 원칙에 영향을 미칩니다.

Vercel Zero는 무엇인가요?

Zero는 인간과 AI의 협업을 위해 Vercel에서 설계한 새로운 시스템 프로그래밍 언어입니다. 전체 도구 체인은 AI 에이전트가 사전 훈련 데이터 없이 코드를 읽고, 디버깅하고, 수정하는 데 도움이 되도록 구조화된 JSON을 출력합니다.

Zero는 Rust나 Zig와 무엇이 다른가요?

Zero는 시스템 언어이기도 하지만, 핵심적인 차별점은 구조화된 JSON을 출력하는 AI 우선 도구 체인입니다. 또한 컴파일 시 I/O 부작용을 관리하기 위한 명시적인 'world' 기능 시스템을 특징으로 합니다.

AI는 정말 Zero와 같은 새로운 프로그래밍 언어가 필요한가요?

이것이 핵심 논쟁입니다. 지지자들은 Zero의 도구 체인에서 나오는 구조화된 데이터가 AI를 더 신뢰할 수 있게 만든다고 주장합니다. 회의론자들은 LLM이 Rust 및 Python과 같은 사람이 읽을 수 있는 언어를 디버깅하는 데 이미 능숙하다고 지적합니다.

Zero의 'world' 기능은 무엇인가요?

'world' 기능은 파일 접근이나 네트워크 호출과 같은 I/O 작업을 수행하는 함수를 명시적으로 표시하는 데 사용되는 키워드입니다. 이를 통해 컴파일러는 웹 어셈블리 빌드가 파일 시스템 API를 사용하는 것을 방지하는 것과 같은 규칙을 적용할 수 있습니다.