人間にとっての親しみやすさを無視した、AI向けの理想言語

PactはAIエージェント向けに設計されたプログラミング言語であり、人間の読みやすさよりも機械可読な仕様と制約を重視します。S式ベースで、来歴証明、副作用追跡、完全性保証、レイテンシ予算などの機能を備え、Rustコードにコンパイルされます。ツールチェーンはYAML仕様からのコード生成やWebプロジェクトの足場構築をサポートします。サービス契約には強いが、アルゴリズム仕様には制限があります。