Vercel 開源 Zero 語言：專爲 AI Agent 設計，把"圖"當源碼

Vercel Labs 在 GitHub 開源了實驗性編程語言 Zero，已獲 5310 星、339 次 fork，但其真正賣點是定位——這是一門"給 AI Agent 用、不是給人用"的編程語言。傳統編程以文本爲源頭，Zero 則把源頭換成圖：Agent 查詢程序圖、提交帶校驗的 patch，編譯器直接接受或拒絕，人只需偶爾看一眼文本投影。

編譯器在循環裏，人在循環外

Zero 的核心是把 Agent 的編輯變成對語義圖的 patch 操作，而非改文本行。每個 patch 都帶圖哈希和字段期望值，編譯器寫入前先校驗：對應節點是否仍是你讀取時的狀態、類型與形狀對不對；若圖已被別處改亂或期望不符，編輯直接失敗、絕不落盤。這讓 Agent 的編輯有了語義錨點——目標是"653eeb6e 號表達式的 value 字段"，而非"第 47 行第 3 個字符"，比行號可靠得多。

文本退居投影角色：.0文件只是zero.graph的投影，人用export查看、Agent 用query讀圖、patch寫圖，import/export只是人與 Agent 的邊界接口。社區在 Hacker News 上反應平淡，質疑集中在兩點：Agent 爲何要學新語言而非用熟悉的 Python、TypeScript，Zero 的語義圖優勢又缺乏量化證明。截至發佈它僅 13 個 release、語言仍在劇變，更像一個思維實驗——唯有證明"用 Zero 寫比 Python 錯誤率低、token 省"時，這門語言纔算真正站住腳。