richiemcilroy/Tov

解決する課題

Tovは、AIコーディングエージェント専用に設計されたプログラミング言語です。LLMが記述しやすいTypeScriptライクな構文を提供し、エラー発生時には機械可読で実行可能な修正案をコンパイラが出力することで、エージェントが複雑な言語動作やデバッグに直面する困難を解決します。

仕組み

TovはTypeScriptライクな構文を使用しますが、曖昧で「推論が困難な」機能（any、null、暗黙の型変換など）を排除しています。高いパフォーマンスを実現するためにネイティブバイナリにコンパイルされます。エージェント向けには、コンパイラが tov check --json を通じてJSONを出力でき、これには型エラーを修正するために必要な正確なコード編集が含まれているため、エージェントは自動的に修正を適用できます。

BunおよびNode.jsエコシステムとの互換性を維持しており、npmパッケージやBunのサーバーAPIを使用可能です。npmパッケージを使用するプログラムは組み込みのJavaScriptCoreエンジンを介して実行され、純粋なTovプログラムは軽量なネイティブバイナリにコンパイルされます。

対象ユーザー

• AIコーディングエージェントおよびそれを構築する開発者。
• BunやNode.jsよりも高いパフォーマンスと強力な型安全性を求める開発者。
• TypeScriptの親しみやすさを維持しつつ、ネイティブバイナリの速度（Rustと同等かそれ以上）を求めるユーザー。

ハイライト

• エージェント中心の設計: エージェントがソースコードに直接適用できる、機械可読なJSONエラー修正を提供します。
• 高いパフォーマンス: ベンチマークでは、CやRustに匹敵するか、それ以上の実行速度とメモリ効率を示します。
• TypeScript互換性: Bun/Node APIとnpmパッケージをサポートしており、既存のBunアプリを最小限の変更で実行できます。
• 厳格な型システム: null と any を排除し、try キーワードによる明示的なエラーハンドリングを必須とし、値ベースの配列とレコードを使用します。