Vercel Labs、AIエージェントがネイティブプログラムを読み取り・修復・出荷できるように設計されたシステムプログラミング言語「Zero」を発表

Vercel Labs は、AI エージェントが人間の介入なしにネイティブプログラムを読み取り、修復、出荷できるように設計された実験的なシステムプログラミング言語「Zero」を発表しました。従来のプログラミング言語は人間向けにエラーメッセージを設計しており、AI エージェントがそれらを解析するのは困難でした。Zero は、コンパイラの出力を最初から構造化データとして設計することで、この問題を解決します。

Zero の CLI はデフォルトで JSON 形式の診断情報を出力します。例えば、zero check --json を実行すると、{"ok": false, "diagnostics": [{"code": "NAM003", "message": "unknown identifier", "line": 3, "repair": {"id": "declare-missing-symbol"}}]} のような結果が得られます。各診断には安定したエラーコード（例：NAM003）、人間可読なメッセージ、行番号、型付きの修復 ID が含まれます。AI エージェントはエラーコードと修復 ID を読み取るだけで行動できます。

さらに、zero explain サブコマンドは特定の診断コードの詳細な説明を返し、zero fix --plan --json は機械可読な修復計画を出力します。zero skills サブコマンドは、インストールされているコンパイラのバージョンに一致したエージェント向けガイダンスを CLI から直接提供します。

言語設計面では、Zero は能力ベースの I/O を採用しています。関数が外部とやり取りする場合、能力オブジェクト（例：World）をパラメータとして明示的に宣言する必要があります。check キーワードで失敗する可能性のある操作を処理し、raises アノテーションでエラー伝播をシグネチャに可視化します。これにより、コンパイル時に I/O 操作の安全性が保証されます。

Zero は 10 KiB 未満のネイティブバイナリにコンパイルされます。強制ガベージコレクションや暗黙的な非同期処理はなく、メモリと制御フローは完全に予測可能です。クロスコンパイルもサポートし、C ABI エクスポートのメタデータを提供します。インストールは curl コマンド一つで完了し、VS Code 拡張も利用可能です。

現在 Zero は実験段階（v0.1.1、Apache-2.0 ライセンス）であり、パッケージレジストリはなく、クロスコンパイル対象は限定的です。しかし、AI エンジニアにとってエージェントネイティブなツールチェーン設計の可能性を示す重要な実験であり、今後の発展が注目されます。