Magpie — LLMが最初の試行でコードを完璧に書けるよう設計されたプログラミング言語
(magpie-lang.com)プロジェクト紹介
Magpieは、「AIエージェントのために作られた初のプログラミング言語」を掲げるオープンソースプロジェクトです。既存の言語が人間のタイピングのしやすさに最適化されているのに対し、MagpieはLLMのコード生成に最適化されています。中核となる哲学は「曖昧さの排除」です。RustやTypeScriptでは a + b が整数の加算なのか文字列連結なのか、オーバーフロー時にパニックが発生するのかなどを推論する必要がありますが、Magpieでは i.add { lhs=%a, rhs=%b } のように、すべての演算が明示的に記述されます。分岐方法も cbr/br の1つしか存在せず、メモリ所有権の移動も明示的な演算として表現します。「選択肢が少ないほどLLMの意思決定ポイントが減り、エラーも減る」というのが中核の主張です。
説明
言語内部ではSSA（Static Single Assignment）構文を採用し、LLVMを通じてネイティブのマシンコードにコンパイルされます。メモリ管理はARC（Automatic Reference Counting）とRustスタイルの明示的な所有権ルールを組み合わせ、GCなしで安全性を保証します。公開されているベンチマークによれば、コンパイル時間は155msでRust（234ms）、TypeScript（268ms）より速く、実行速度はRustと同じ32ms、メモリ使用量は1.6MBでTypeScript（69.2MB）と比べて圧倒的に低くなっています。特に、LLMの予測可能性を示す語彙複雑度指標（Vocabulary Complexity）では0.107で、Rust（0.225）、TypeScript（0.231）の半分程度です。
ただし、Magpie自身も「トークン数は既存の言語に比べて約2.3倍多く使う」と明かしており、LLM呼び出しコストの面ではトレードオフが存在します。AIエージェントが複雑なコードを生成する際に再試行回数を減らすことと、トークン効率のどちらがより重要かによって、実用性の評価は変わり得ます。Rustでビルドされ、cargo build でインストール可能です。
git clone https://github.com/magpie-lang/magpie.git
cd magpie
cargo build -p magpie_cli
7件のコメント
うーん……Magpieを検索してみると別の言語（2013年から開発が始まった
magpie-lang.org）が出てきますが、名前に関しては著作権のような問題はないのでしょうか……。私の知っているレーザー距離計の名前も magpie です（笑）
業界が違えば、まあそういうものかと思える気はします。製品が違うんだから？
でも同じプログラミング言語なのに（笑）……。もし私が新しい言語を開発して、それに C++ や Rust という名前を付けたら、怒られそうな気がします……？
面白いですね。今後の発展計画はありますか？
実際のトークン使用量を単一の作業について測定した結果はなく、単に magpie を使えば再試行がこの程度減るだろうという推測ですね。
Compilation Time の比較はおかしいですね。なぜ ms/token を比較するのでしょうか？
AIネイティブ（？）言語だからではないでしょうか？
人が直接書くために作られた言語ではないので、実際のコードの長さがどうこうというのは意味がなく、
何らかの機能を実装するためのプロンプトに対するコンパイル時間を測る……という発想なのだと思います（笑）