以圖為優先的程式模型
agent 直接使用語意圖,而非原始文字,因此編輯會直接針對節點、欄位、呼叫、宣告及其他程式事實。
Zero 是一款以圖形優先為核心、支援 agent 協作開發的實驗性程式語言。透過可讀投影檢視與編譯器驗證,協助人類與 agent 以已檢查的語意編輯安全完成變更。
Zero 是一款以圖形優先為核心、支援 agent 協作開發的實驗性程式語言。它將圖結構視為程式資料庫,因此 agent 會查詢語意結構、提交已檢查的編輯,並依賴編譯器在變更成為套件的一部分之前先驗證。
此網站將 Zero 定位為適用於人類提出目標、由 agent 執行編輯迴圈的情境。人類可審閱投影與命令輸出,而編譯器則透過形狀檢查、過時狀態保護與儲存庫中繼資料驗證,維持圖的一致性。
agent 直接使用語意圖,而非原始文字,因此編輯會直接針對節點、欄位、呼叫、宣告及其他程式事實。
修補會在接受前先依據圖雜湊、預期值、形狀規則與儲存庫中繼資料進行檢查。
編譯器會在過時或無效的編輯接觸資料儲存前先予以拒絕,讓 agent 的編輯循環更具可預測性。
可讀的 `.0` 投影提供類似原始碼的檢視,方便審閱與少量手動編輯,同時不讓文字成為主要的程式資料庫。
日常工作流程包含 query、patch、check、test、run 與 build 指令,支援 agent 協作開發。
執行階段目標著重於小型、快速、明確、無相依性的系統,並兼顧低記憶體使用量與快速啟動/建置。
當 agent 需要進行語意上的程式變更,例如新增函式、更新呼叫,或調整具型別的程式事實,而不必手動重寫文字區段時,適合使用 Zero。
當人類想在接受或手動調整變更前,先檢視程式的可讀表示時,可使用投影與審閱流程。
當你希望透過已檢查的修補流程,在無效編輯改動儲存區前就由過時狀態保護與驗證機制先行失敗時,可使用此流程。
當你想先完成本機套件的安裝與啟動,再執行 query、patch、check、test、run 與 build 的日常迴圈時,可使用這個流程。
當你需要從以圖為基礎的程式產生可執行檔、物件檔或 LLVM IR 成品,尤其是在早期探索階段時,可使用 build 與 run 指令。
Zero 是為與人類協作的 agent 而設計。agent 透過圖結構來撰寫程式,而人類則在需要時檢視圖摘要、命令輸出,以及 `.0` 投影。
入門指南顯示先執行 `curl -fsSL https://zerolang.ai/install.sh | bash`,再將 `$HOME/.zero/bin` 加入 `PATH`,並執行 `zero --version`。指南也提到可使用 `npx skills add vercel-labs/zerolang` 安裝 agent 啟動技能。
來源說明建議日常流程使用 `zero query`、`zero patch`、`zero check`、`zero test`、`zero run` 和 `zero build`。另也提到 `zero export` 與 `zero verify-projection` 供人類審閱工作流程使用。
網站說明 Zero 為 pre-1 且屬於實驗性質,因此預期會有破壞性變更。也建議在安全環境中執行,不要用於正式生產系統。
此產品以可讀的 `.0` 投影作為審閱依據,而由編譯器管理 agent 所編輯的圖資料庫。人類可以偶爾直接編輯投影,但預期 agent 主要透過 `zero query` 與 `zero patch` 進行操作。