跳到主要內容
2026-08-13 日報
開發生態

Vercel 發布專為 AI 代理設計的系統語言 Zero,採圖優先架構並輸出機器可讀修復計畫

InfoQ 中國多家報導
尚未逐項核實

多個報導來源提及此事;未必是彼此獨立的證據。

Vercel Labs 發布實驗性系統程式語言 Zero,其核心設計理念是將編譯器輸出的主要閱讀者從人類轉向 AI 代理。Zero 採用 Apache 2.0 授權,可編譯為 Linux、macOS 和 Windows 的原生二進制檔案。其建置速度極快,Hello World 程式可於 1 毫秒內完成構建,體積僅 16.2 KiB。 在工具鏈設計上,單一 `zero` 二進制檔案的每個子命令皆支援統一的 `--json` 標誌。錯誤訊息會攜帶穩定的代碼(如 NAM003)與帶型別的修復元資料;執行 `zero fix --plan --json` 會返回機器可讀的修復計畫,讓 AI 代理能評估並決定是否接受、編輯或拒絕修復,而非盲目套用。 自 v0.3.0 版本起,Zero 轉向「圖優先(Graph-first)」工作流程。編譯器的實際輸入為二進制 `zero.graph` 存儲,而副檔名為 `.0` 的純文字檔案僅作為供人類閱讀的投影。AI 代理直接透過 `zero query` 與 `zero patch` 與圖存儲互動,補丁受圖雜湊保護以防止寫入過期或無效的編輯。現有的純文字專案需透過 `zero import` 匯入圖中,v0.3.2 版已將大型程式的匯入速度提升約 12 倍。 此外,Zero 強制管理副作用:任何與外部世界互動的函式都必須接受一個 `World` 能力參數,使開發者與代理能從函式簽名直接判斷程式碼是否會存取網路、檔案系統或標準輸出。Zero 在二進制體積與顯式分配上較接近 Zig,目前已推進至 v0.3.4 版並在 GitHub 獲得逾 5200 顆星。官方警告該專案仍處於實驗階段,預期會有破壞性變更,不應於生產環境或處理敏感資料時使用。
讀原始報導

背景

報導中用來與 Zero 比較的 Zig,是一種旨在改良 C 語言的開源系統程式語言。它採用 MIT 授權條款,在控制流程與變數宣告等方面與 C 語言不同,且不使用巨集或預處理器。

來源

相關主題