Show HN：信頼できないAIエージェントスクリプト向け軽量コンパイラ

Autolangは、AIエージェントが安全かつ高速・低コストでコードを記述・実行するために設計されたスクリプティング言語です。現在のAIコード生成におけるジレンマ、すなわち人間には柔軟性が必要だがAIには厳格な制限が求められるという問題に対処します。従来のサンドボックスや仮想化による隔離は複雑でリソース消費が大きいため、Autolangは軽量なコンパイラとランタイムを提供し、より効率的な代替手段を実現します。

オーケストレーションレイヤーとして、AutolangはPythonやJavaScriptを置き換えるものではなく、既存の関数（Python、JS、C++など）をラップして制御されたインターフェースとして公開します。AIはこれらの登録された関数のみを呼び出せ、すべてのコードは静的コンパイラによる検証を通過しなければなりません。これにより、型安全性、アクセス権限の制御、権限外の操作防止が保証されます。

Autolangの設計はAI生成コードの特性に基づいています。すなわち、短い（通常100行未満）、極端なパフォーマンス最適化は不要、安全性は信頼できない、といった特徴です。オペコード上限メカニズムにより無限ループや論理エラーを強制終了し、明示的なnull可能型処理（??演算子）によりヌルポインタクラッシュを防ぎます。従来の言語とは異なり、「書きやすい」よりも「間違って書きにくい」ことを重視し、柔軟性を犠牲にしても安全性を高めています。

パフォーマンス面では、Autolangは総時間（コンパイル時間＋実行時間）を重視します。AIスクリプトは通常短時間で実行されるため、深い最適化によるコンパイルのオーバーヘッドは割に合いません。内部ベンチマークでは、Windows 11環境で約900行のコードを25ミリ秒で実行し、単一コンパイラインスタンスのメモリ使用量はピーク時7MB、コールドスタート時間は約18ミリ秒です。

構文はKotlinとTypeScriptからインスピレーションを得ており、AIモデルが既存知識を活用できるようにしています。ただし、各構文の決定はAIを支援する目的に沿って行われており、例えばリスト宣言では型を明示的に強制し、型推論が可能な場合には簡潔な記述を許容します。このバランスにより、明確さと効率が両立されています。

適切なユースケースとしては、AIのコード実行権限を制御する必要があるシステム、特に複数のエージェントを同時実行しメモリオーバーヘッドが問題となる環境が挙げられます。一方、長大なプログラムやOSレベルのセキュリティ保証が必要な場合、またPythonバインディングが未提供の現状では適していません。

結論として、Autolangは汎用言語と競合するのではなく、AIと実行環境の間の管理層として機能します。「AIが意図を表現し、システムがアクションを制御する」という哲学のもと、安全性、リソース効率、制御のしやすさのバランスを独自に実現しています。