Vercelが新言語Zeroを発表：コードは人間のためではなく、AIのために書かれる

Vercel Labsは、コンパイラ出力の主要な読み手がもはや人間ではなくAIエージェントであるという前提に基づいた、実験的なシステムプログラミング言語「Zero」をリリースした。2026年5月15日にChris Tateによって発表されたこの言語は、より高速で、より小さく、よりエージェントに優しいシステム言語として位置づけられている。プロジェクトは急速に進展し、バージョン0.3.4に達し、GitHubで5,200以上のスターを獲得している。Zeroは.0ファイル拡張子を使用し、Apache 2.0ライセンスの下で提供され、Linux、macOS、Windows向けのネイティブバイナリにコンパイルされる。初期の報告では、そのサイズと速度が強調されており、Hello Worldプログラムは1ミリ秒未満でビルドされ、16.2 KiBのバイナリを生成する。特徴的な機能は、ツールチェーン契約である。単一のzeroバイナリのすべてのサブコマンドが、統一された--jsonフラグと一貫した診断モードをサポートし、NAM003のような安定したエラーコードや、declare-missing-symbolのような型付き修正メタデータを提供する。さらに、'zero fix --plan --json'は、エージェントが受け入れ、編集、または拒否できる機械可読な修正計画を返す。副作用は明示的である。外部世界とやり取りする関数は、Worldケイパビリティパラメータを取る必要があり、コンパイラによって強制されるため、関数シグネチャはネットワーク、ファイルシステム、または標準出力へのアクセスを明らかにする。バージョン0.3.0では、グラフファーストのオーサリングが標準ワークフローとして採用されている。バイナリのzero.graphストアがコンパイラ入力となり、.0ファイルは人間が読めるプロジェクションであり、エージェントは'zero query'と'zero patch'を介して作業し、パッチはグラフハッシュによって保護される。既存のユーザーにとって、これらの変更は重要である。v0.1.4は行ベースの構文を使用し、v0.2.0は正規化された.0テキストをネイティブソースキャリアとして昇格させ、v0.3.0はコンパイラ境界でソースプロジェクション入力を完全に拒否する。したがって、テキストファーストのパッケージは、ソースをグラフに取り込むために'zero import'を使用し、人間によるレビューとCIドリフトチェックのために'zero export'と'zero verify-projection'を使用する必要がある。バージョン0.3.2では、大規模プログラムのインポート速度が約12倍向上し、移行コストが削減される。Hacker Newsでは、コメント投稿者の反応は様々で、新規性を否定する人もいれば、焦点はエージェントにあると主張する人もいた。Zeroは、バイナリサイズと明示的な割り当てにおいてZigに近く、Rustの借用チェッカーの成熟度やエコシステムは欠けているが、Goのグリーンスレッドやより大きなランタイムを、小さく依存関係のない成果物と引き換えにしている。ZeroはVercel Labsによるオープンソースプロジェクトであり、実験的であり、破壊的な変更が行われる可能性があり、隔離されたワークスペースでのみ使用し、本番システムや機密データには使用しないでください。