Vercel Labs は GitHub で実験的なプログラミング言語 Zero をオープンソース化しました。5310 星、339 回のフォークを獲得していますが、その真の魅力はその定位です。これは「AI エージェント用であり、人間用ではない」プログラミング言語です。従来のプログラミングはテキストを起点としていますが、Zero はそれを図に置き換えます。エージェントはプログラム図を照会し、検証済みのパッチを提出します。コンパイラは直接受け入れたり拒否したりします。人間はたまにテキストの投影を見ればよいだけです。

image.png

コンパイラはループ内、人はループ外

Zero のコアは、エージェントの編集をテキスト行の変更ではなく、意味グラフへのパッチ操作にすることです。各パッチにはグラフハッシュとフィールドの期待値が含まれており、コンパイラが書き込む前に検証されます。対応するノードが読み取ったときの状態であるか、型や形状が正しいかを確認します。もしグラフが他の場所で変更されていて、期待値と一致しなければ、編集は失敗し、ディスクに保存されません。これにより、エージェントの編集に意味のアンカーが生まれます。「653eeb6e 番の式の value フィールド」という目標が、「47 行目の 3 文字目」という目標よりずっと信頼性が高いのです。

テキストは投影の役割に退く：.0 ファイルは zero.graph の投影に過ぎず、人は export を使って見ることもでき、エージェントは query でグラフを読み、patch でグラフを書きます。import/export は、人間とエージェントの境界インターフェースにすぎません。コミュニティは Hacker News 上で反応が静かで、主な懸念は 2 つあります。なぜエージェントは既知の Python や TypeScript を使わず、新しい言語を学ぶ必要があるのか、Zero の意味グラフの利点は数値的証明が欠けていること。公開時点でのリリースは 13 個しかなく、言語はまだ激しく変化しているため、まるで思考実験のように感じられます。実際に「Zero で書くほうが Python よりエラー率が低く、トークンを節約できる」と証明されるまで、この言語は真正な足場を築いたとは言えません。