Zero

Zero란 무엇인가?

Zero는 AI 에이전트가 코드를 작성하는 세상을 위해 특별히 설계된 Vercel의 실험적 프로그래밍 언어입니다. 에이전트는 소스 텍스트를 편집하는 대신 의미론적 프로그램 그래프를 쿼리하고 패치하며, 컴파일러는 모든 변경 사항을 검증합니다. 인간은 단순히 결과를 요청하고, 필요할 때 읽기 쉬운 코드 프로젝션을 검토하면 됩니다. 이 언어는 토큰 효율성, 빠른 빌드, 낮은 메모리, 제로 의존성을 갖춘 에이전틱 코딩을 위해 처음부터 설계되었습니다.

대상 사용자

• AI 에이전트 개발자 — 텍스트 패칭 대신 컴파일러 네이티브, 그래프 기반 프로그램 표현이 필요한 도구와 워크플로우를 구축하는 개발자.
• 에이전틱 코딩을 탐구하는 엔지니어링 팀 — 프로그램 저장소에 변경 사항이 적용되기 전에 컴파일러가 모든 편집을 검증하는 언어를 원하는 팀.
• 실험적 인프라의 얼리 어답터 — 파괴적 변경을 수용하고 프로덕션 시스템이 아닌 안전한 환경에서 Zero를 실행할 의향이 있는 사용자.

주요 기능

그래프 기반 프로그램 아키텍처

프로그램은 소스 텍스트가 아닌 의미론적 그래프입니다. 심볼, 호출, 타입, 효과, 노드 ID, 그래프 해시가 에이전트가 쿼리하고 패치하는 프로그램 데이터베이스를 형성합니다. 읽기 쉬운 .0 프로젝션은 인간 검토와 드문 수동 편집을 위해 제공됩니다.

기본 검증된 패치

그래프 패치는 그래프 해시와 예상 값으로 보호되는 의미론적 노드와 필드를 대상으로 합니다. 오래되었거나 유효하지 않은 편집은 저장소에 적용되기 전에 실패하므로 컴파일러가 형태, 타입, 오래된 상태 문제를 자동으로 감지합니다.

더 긴밀한 에이전트 루프

전통적인 루프는 텍스트를 작성한 후 도구를 실행하여 편집의 의미를 파악합니다. Zero는 컴파일러를 루프에 포함시켜 편집이 그래프에 대한 검증된 변경이 되도록 하여 에이전트의 추측과 반복 주기를 줄입니다.

내장된 런타임 제약

Zero는 작고, 빠르고, 명시적이며, 의존성이 없도록 유지하는 것을 목표로 합니다. 설계는 런타임 목표를 완화하지 않으면서 토큰 효율성, 낮은 메모리, 빠른 시작, 빠른 빌드, 낮은 지연 시간을 우선시합니다.

특별한 점

Zero는 패러다임을 뒤집습니다: 그래프가 프로그램이고, 컴파일러가 에이전트의 안전망입니다.

이것은 텍스트 기반 코딩에서 그래프 기반 프로그래밍으로의 근본적인 전환입니다. 에이전트가 파싱되고 이해되어야 하는 코드를 생성하는 대신, Zero는 내장된 검증을 갖춘 구조화되고 쿼리 가능한 프로그램 데이터베이스를 제공합니다. 컴파일러는 그래프 해시와 예상 값에 대해 모든 패치를 검사하여 오래되었거나 유효하지 않은 편집이 적용되기 전에 불가능하게 만듭니다. 에이전틱 코딩 워크플로우를 구축하는 팀에게 이는 더 적은 조용한 실패와 더 신뢰할 수 있는 자율 편집을 의미합니다.

확인해 볼 가치가 있다면…

AI 에이전트 코딩 도구를 구축 중이고 기계 네이티브 편집을 위해 설계된 언어를 원하거나, 컴파일러 소유 프로그램 그래프가 텍스트 기반 소스 제어를 대체할 수 있는지 궁금하다면 Zero를 살펴볼 가치가 있습니다. 또한 런타임 효율성(토큰 경제성, 빠른 빌드, 제로 의존성)을 중요시하고 실험적이고 파괴적 변경이 잦은 초기 릴리스를 수용할 수 있다면 Zero를 탐구해 볼 만합니다. 시작 가이드로 시작한 다음, 그래프 아키텍처와 컴파일 경로 페이지를 살펴보고 프로그램 데이터베이스가 왜 중요한지 이해해 보세요.