Zero logo

Zero

認領

Zero 是一款以圖形優先為核心、支援 agent 協作開發的實驗性程式語言。透過可讀投影檢視與編譯器驗證,協助人類與 agent 以已檢查的語意編輯安全完成變更。

Zero preview

總覽

Zero 是一款以圖形優先為核心、支援 agent 協作開發的實驗性程式語言。它將圖結構視為程式資料庫,因此 agent 會查詢語意結構、提交已檢查的編輯,並依賴編譯器在變更成為套件的一部分之前先驗證。

此網站將 Zero 定位為適用於人類提出目標、由 agent 執行編輯迴圈的情境。人類可審閱投影與命令輸出,而編譯器則透過形狀檢查、過時狀態保護與儲存庫中繼資料驗證,維持圖的一致性。

功能

以圖為優先的程式模型

agent 直接使用語意圖,而非原始文字,因此編輯會直接針對節點、欄位、呼叫、宣告及其他程式事實。

已檢查的語意編輯

修補會在接受前先依據圖雜湊、預期值、形狀規則與儲存庫中繼資料進行檢查。

無效變更的早期驗證

編譯器會在過時或無效的編輯接觸資料儲存前先予以拒絕,讓 agent 的編輯循環更具可預測性。

人類可讀的投影

可讀的 `.0` 投影提供類似原始碼的檢視,方便審閱與少量手動編輯,同時不讓文字成為主要的程式資料庫。

以 agent 為導向的命令流程

日常工作流程包含 query、patch、check、test、run 與 build 指令,支援 agent 協作開發。

輕量化執行階段重點

執行階段目標著重於小型、快速、明確、無相依性的系統,並兼顧低記憶體使用量與快速啟動/建置。

使用情境

  • 由 agent 驅動的程式編輯

    當 agent 需要進行語意上的程式變更,例如新增函式、更新呼叫,或調整具型別的程式事實,而不必手動重寫文字區段時,適合使用 Zero。

  • 審閱產生的程式碼

    當人類想在接受或手動調整變更前,先檢視程式的可讀表示時,可使用投影與審閱流程。

  • 更安全的漸進式變更

    當你希望透過已檢查的修補流程,在無效編輯改動儲存區前就由過時狀態保護與驗證機制先行失敗時,可使用此流程。

  • 本機實驗與反覆迭代

    當你想先完成本機套件的安裝與啟動,再執行 query、patch、check、test、run 與 build 的日常迴圈時,可使用這個流程。

  • 產物生成與執行

    當你需要從以圖為基礎的程式產生可執行檔、物件檔或 LLVM IR 成品,尤其是在早期探索階段時,可使用 build 與 run 指令。

Pros and Cons

Pros

  • 已檢查的圖修補在接受變更前提供過時狀態保護與形狀驗證。
  • `.0` 投影為人類提供可讀的審閱視圖,同時不讓文字成為主要事實來源。
  • 命令流程明確,並針對 query、patch、check、test、run 與 build 提供專用指令。
  • 此專案強調小型、快速、明確、無相依性的執行階段定位。

Cons

  • 網站將 Zero 描述為 pre-1 且具實驗性,因此預期會有破壞性變更。
  • 它適用於安全、非正式生產環境,而非正式生產系統。
  • 文件中的工作流程仍在演進中,部分頁面僅部分涵蓋功能與整合。

FAQ

Zero 的設計用途是什麼?

Zero 是為與人類協作的 agent 而設計。agent 透過圖結構來撰寫程式,而人類則在需要時檢視圖摘要、命令輸出,以及 `.0` 投影。

要如何安裝並開始使用 Zero?

入門指南顯示先執行 `curl -fsSL https://zerolang.ai/install.sh | bash`,再將 `$HOME/.zero/bin` 加入 `PATH`,並執行 `zero --version`。指南也提到可使用 `npx skills add vercel-labs/zerolang` 安裝 agent 啟動技能。

Zero 的工作流程是什麼樣子?

來源說明建議日常流程使用 `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` 進行操作。

Quick Facts

分類
開發者工具
主要使用者
與 agent 協作的人類
來源網域
zerolang.ai
介面模型
以圖為優先的程式語言
工作流程
`zero query`、`zero patch`、`zero check`、`zero test`、`zero run`、`zero build`
定價
未提供定價頁面;網站顯示 404/找不到回應