VercelがAIのための言語を構築。その理由は？

従来のプログラミング言語では、コンパイラエラーは人間が解釈するために最適化された密な「テキストの壁」として提示されます。これらの非構造化された警告やトレースは、開発者には理解できますが、自律的にコードをデバッグし修正しようとする自動化されたAIエージェントにとっては大きな障害となります。レガシーなツールチェーンにおけるこの根本的な設計上の選択は、AI主導の開発の効率を制限します。

VercelのZero言語は、この相互作用を根本的に再考します。そのツールチェーン全体は、すべての診断に対して構造化されたJSONを出力し、人間の可読性と機械の実行可能性の間のギャップを埋めます。これにより、深刻度、エラーコード、正確な場所、期待値と実際の値、埋め込みの修正提案など、詳細な情報が提供され、コードの問題をきめ細かく機械で解析可能な形で提示します。

Zeroのツールチェーンは、すべての出力に対して明示的にJSONオプションを提供し、コンパイラ、リンター、その他のコンポーネントがAIが消費できる形式でデータを提供することを保証します。このJSON構造内の診断は、エラーメッセージだけでなく、その`severity`、一意の`code`、ソースファイル内の正確な`location`も詳細に示します。さらに、LLM向けの実用的な`help`フィールドと、人間のレビューが必要かどうかを示す`fix safety`評価も含まれています。

`zero fix --json`コマンドを考えてみましょう。これはこのAIネイティブなアプローチの典型的な例です。このコマンドが呼び出されると、単に問題を特定するだけでなく、JSON形式で包括的で機械が読み取り可能な「計画」を生成します。この計画は、特定の編集内容を概説し、`safety levels`を評価し、`mode`を定義し、`applies edit`アクションと`self-host repair policy`を詳細に示し、LLMが広範なトレーニングや人間の介入なしに、コードの修正を直接的かつ確実に実行するために必要なすべてのコンテキストを提供します。

Zeroは明示的な原則を提唱し、開発者に関数の副作用を明確に宣言するよう求めます。その中心となるのが`world`機能であり、あらゆるI/O操作に対する必須のアノテーションです。これには、ファイルアクセス、ネットワーク呼び出し、あるいは単にコンソールへの出力も含まれます。その存在は即座にI/O副作用を示し、その不在はI/Oフリー関数を保証し、人間とAIの両方の読者に即座の明瞭さを提供します。

この機能システムは、堅牢なコンパイル時安全性を可能にします。コンパイラは、特定のターゲットで利用できない機能を積極的に拒否し、ランタイムエラーを防ぎます。例えば、直接的なファイルシステムインタラクションを持たないWebAssembly (WASM) ターゲット向けにコンパイルされた関数内でファイルシステムアクセスを試みると、コンパイル時エラーが発生します。これにより、予期せぬ事態を未然に防ぎ、デプロイ前に予測可能な実行環境を保証します。

I/Oを超えて、Zeroはエラーハンドリングにも明示性を拡張します。失敗する可能性のある関数は`raises`キーワードを使用し、`check`は潜在的なエラーを明示的に伝播させます。これはRustの厳格な安全性概念を反映していますが、独自のAIフレンドリーな実装です。この包括的なアプローチにより、コードがその動作について「嘘をつかない」ことが保証され、信頼性の高いAI主導のコード生成と修正にとって重要な属性となります。

VercelのZeroのデモは印象的でした。LLMは、その言語に関する事前トレーニングなしに、ツールチェーンの構造化されたJSON出力のみを使用してZeroコードのデバッグに成功しました。これは、AIエージェントが自律的にプログラミングエラーを理解し解決するというビジョン、つまりAIネイティブツールチェーンの主要な約束を示しています。

しかし、AIがこの機能のために新しい言語を*必要とする*という前提は精査が必要です。最も顕著なRustをはじめとする確立されたシステム言語は、Zeroのようなツールチェーンのあらゆるコンポーネントにわたる広範で深い統合ではないかもしれませんが、何年もの間、コンパイラ生成のJSONエラー出力を提供してきました。機械可読な診断という基本的な概念は、全く新しいものではありません。

より批判的には、LLMの限界に関する核心的な仮定が誤っている可能性があります。現在の大規模言語モデルは、従来の人間が読めるコンパイラエラーやスタックトレースを解析し、それに基づいて行動する驚くべき能力を示しています。これらは、既存の言語における数十億行のコードと関連するデバッグシナリオを含む膨大なトレーニングデータセットから恩恵を受けています。Zeroは、特にLLMがPython、JavaScript、Rustのような言語での作業にすでに優れていることを考えると、その必要性を証明するためにこの途方もないデータ不足を克服しなければなりません。詳細については、公式Zero Programming Languageサイトをご覧ください。

Zeroは間違いなく強力な概念実証を提示しています。Vercelは、AIエージェントのためにゼロから構築された言語とそのツールチェーンが、全く新しいデバッグパラダイムをどのように解き放つことができるかを成功裏に示しました。LLMが直接消費できる構造化されたJSON出力と、I/O操作を明確にマークするための明示的な`world`機能は、将来のAI中心の開発への魅力的な垣間見を提供します。

この魅力的なビジョンにもかかわらず、Zeroは途方もない採用のハードルに直面しています。ミッションクリティカルなシステムや複雑なシステムを構築する開発者は、すでにRust、Zig、Goのような深く根付いた成熟したエコシステムに依存しています。これらの確立された言語は、Zeroが現在欠いている広範で実証済みのライブラリ、堅牢なツール、活気あるコミュニティを誇っています。AIフレンドリーな機能を備えているとしても、このような堅牢な基盤を新興言語のために放棄することは、ほとんどのエンジニアリングチームにとって途方もない要求です。

Zeroは広範な主流採用を達成しないかもしれませんが、その遺産は変革的であると証明される可能性があります。この言語は、確立されたツールチェーンに進化を促し、AIエージェントのためにより豊かで構造化された出力を提供するよう強制します。Vercelの大胆な実験は、既存のソリューションを完全に置き換えるのではなく、設計原則に影響を与えることで、すべてのプログラミング言語が最終的にAI主導の未来にどのように適応するかを効果的に示しています。

Vercel Zeroとは何ですか？

Zeroは、Vercelが人間とAIのコラボレーションのために設計した新しいシステムプログラミング言語です。そのツールチェーン全体は、AIエージェントが事前のトレーニングデータなしでコードを読み取り、デバッグし、修正するのに役立つ構造化されたJSONを出力します。

ZeroはRustやZigと何が違うのですか？

Zeroもシステム言語ですが、その主な差別化要因は、構造化されたJSONを出力するAIファーストのツールチェーンです。また、コンパイル時にI/O副作用を管理するための明示的な「world」機能システムも備えています。

AIは本当にZeroのような新しいプログラミング言語を必要とするのでしょうか？

これが中心的な議論です。支持者は、Zeroのツールチェーンからの構造化データがAIをより信頼できるものにすると主張しています。懐疑論者は、LLMがRustやPythonのような人間が読める言語のデバッグにすでに熟練していることを指摘しています。

Zeroにおける「world」機能とは何ですか？

「world」機能は、I/O操作（ファイルアクセスやネットワーク呼び出しなど）を実行する関数を明示的にマークするために使用されるキーワードです。これにより、コンパイラは、web assemblyビルドがファイルシステムAPIを使用するのを防ぐなどのルールを強制できます。