Zerolang のメイン画像

Zerolang

証拠確認 Jul 29, 2026languageagentvercel-labscompilerqualitysoundness

Zerolang はエージェント向けの Vercel Labs 実験言語です。意味グラフをプログラムのデータベースとして扱い、.0 ファイルは人間が読む投影です。エージェントは行単位のテキスト diff と戦う代わりに、グラフのノードをパッチする想定です。売りにはネイティブバイナリと agent 向け診断があります。ホスト backend の品質はまだばらついています。

主リンクを開く ↗

掲載理由

Zerolang は scriptc や native と同じ Labs の波にあり、同じ型を示します。エージェントが意味グラフを安全に編集する言語として売られています。公開トラッカーと 18 件のバグ監査は、デフォルトの macOS ホストで深刻な問題を示します。i64 比較が 32bit CMP として出る、スタックフレームが切り詰められて segfault になる、動的配列の set で borrow 追跡が消える、などです。コミュニティ issue #181 のタイトルは “Low code quality. Don't run this on your machine.” です。メンテナはそれを認め、採用中だと言いました。知乎の長文はさらに詳しく書きます。公開批判のあと compiler-zero のようなツリーが丸ごと消える、time/rand/fs が本物の runtime ではなく IR に載る、「runtime」モジュールが主に http と json でハードコードは残る、薄い checker の上に ownership の話が乗る、といった点です。売り文句は stale hash を書き込み前に拒否する、です。issue #425 はモジュールハッシュ比較が正しくない、という話です。この二つは並ぶと落ち着きません。

参考文献(10)

  • README 安全警告

    GitHub

    公式:実験的、breaking とセキュリティ問題を想定;隔離し、本番/機微データに使うな。

  • README 安全警告

    GitHub README

    公式:実験的、breaking とセキュリティ問題を想定;隔離し、本番/機微データに使うな。

  • Low code quality. Don’t run this on your machine.

    GitHub Issues ·

    コミュニティの品質弾劾(契約、C ポインタ効果、stringly IR);メンテナが認めて採用中と述べた。

  • バグ監査 — 再現 18 件

    GitHub Issues ·

    tokenizer/parser/borrow/backends/stdlib の単発監査:S1 darwin-arm64 の i64 CMP 誤コード;S2 スタックフレーム黙って切り詰め→SIGSEGV;S3 動的配列 set の borrow soundness;parser/stdlib の誤結果も。

  • darwin-arm64 Mach-O direct backend が ops 不足(CGEN004)

    GitHub Issues

    多くの direct-* 例が Apple Silicon ホスト backend で失敗——byte ops や error/raise パス欠落など。

  • 誤ったモジュールハッシュ比較

    GitHub Issues ·

    グラフ/モジュールハッシュ比較バグ——「古いハッシュは書き込み拒否」という agent 物語の核心。

  • 0.1.4 の大幅な構文変更

    GitHub Issues

    初期版はまだ構文が揺れる——agent skill も人間投影も動く標的を追う。

  • Vercel Labs のマーケティング枠(agent グラフ、テキストではない)

    X / @zerolangai ·

    公式 X の pitch:graph-first、検証可能な refactor;実験的フレーミングはローンチ熱に埋もれがち。

  • PL Nerd 迎来惊天大变 · Vibe Coder 喜提 AI 原生(zerolang コード解剖)

    Zhihu / 知乎用户名可以重复吗 ·

    Zero/zerolang を「agent ネイティブ」言語として扱う中国語長文のロースト。実装がアンチハイプの行為芸術のように読めるとし、粗い IR とコンパイラ構造が graph-first マーケを掘り崩すと記録。

  • Vercel の Zero 言語をどう評価するか?(続編)

    Zhihu / 知乎用户名可以重复吗 ·

    続編:批判後に compiler-zero ツリー削除;time/rand/fs は依然 IR モデル;新「runtime」は主に http/json でハードコードは残る;巨大な EmitContext/RuntimePatch;薄い checker 上の ownership/effect-handler 流行——agent が品質着地より速くツリーを thrash するコミュニティ証拠。

関連する標本