calor

Calorは、AIコーディングエージェント用に特別に設計されたプログラミング言語で、C#エミッションを介して.NETにコンパイルされます。従来の言語は人間向けに構築されており、AIエージェントは副作用、契約、スコープ境界などのセマンティックな意味を暗黙の構文から推測しなければなりません。Calorは、これらの要素を言語自体で明示的にすることで、この不一致を解消します。 コア原則には、明示的な効果宣言（例：§E{cw, fs:r, net:rw}）、ファーストクラスの前条件と後条件（§Qおよび§S）、リファクタリングにわたって正確な参照のためのオプションの安定した識別子、トークンコストを削減するためのインデントベースのブロック、および機械可読なセマンティクスのためのLispスタイルの演算子が含まれます。この設計は、生のトークン効率をセマンティックな明瞭さと引き換えにし、エージェントがコードの動作を推論し、契約違反を検出し、深い解析なしに正確な編集を行うことを可能にします。 Calorには、診断、定義への移動、参照、名前変更、フォーマット、セマンティックトークンをサポートするファーストクラスの言語サーバー（LSP）が付属しています。また、コンパイル、検証、コードナビゲーション、分析、移行、リンティング、構文ヘルプのための19のツールを公開するMCP（モデルコンテキストプロトコル）サーバーも含まれており、AIエージェントがコンパイラと直接対話できるようになっています。Claude Code、OpenAI Codex CLI、Google Gemini CLI、GitHub Copilotとのクイックスタート統合が提供され、プロジェクトの指示とMCP設定が自動的に構成されます。このプロジェクトは、特にベンチマーキング、パーサーの改善、ドキュメンテーションに関する貢献を歓迎しています。