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

Pactは、人間の開発者ではなく人工知能エージェントのために設計されたプログラミング言語です。従来の言語が重視する可読性や使いやすさを捨て、機械が解析できるメタデータ、厳格な制約、形式的な仕様を最優先します。

PactはS式（S-expression）をベースとしており、すべての関数には機械可読な豊富なメタデータが付与されます。例えば、ユーザー情報を取得する関数には、依存する仕様リファレンス、テストケース、実行する操作（データベース読み取りやHTTP応答）、すべてのケースを網羅するかどうか、期待される応答時間、そしてどのコンポーネントから呼び出されるかが明記されます。これにより、AIエージェントはコードの意味、依存関係、振る舞いの制約を正確に理解できます。

主な言語機能として、来歴証明（すべての関数と型が存在する理由を記録）、副作用追跡（関数が行うI/O操作を宣言）、完全性（:total trueとマークされた関数はすべての分岐を処理）、レイテンシ予算（パフォーマンス制約をコードに組み込み）、依存関係グラフ（:called-byによる影響分析の即時実行）、共用戻り値型（すべての結果を列挙しHTTPステータスにマッピング）、型不変条件（最小長、最大長、フォーマットチェック）があります。

コンパイラは6段階のパイプラインで構成されます。字句解析、構文解析（具象構文木の生成）、降下（型付き抽象構文木への変換）、意味解析（名前解決、副作用チェック、パターン網羅性チェック）、コード生成です。コンパイラには2つのバックエンドがあります。v1バックエンド（デフォルト）は検査やドキュメント向けの独立したRustコードを生成し、v2バックエンド（--runtime）はpact-runtimeクレートに依存するコンパイル可能で実行可能なコードを生成します。v2は自動的にシリアライゼーション、バリデーション、ストア操作などを実装します。

ツールチェーンは以下のコマンドを提供します。generateは人間が読めるYAML仕様をPact形式（.pct）ファイルに変換し、compileは.pctファイルをRustソースコードにコンパイルし、scaffoldは.pctファイルから完全なAxum Webプロジェクト（ルート、ハンドラ、HTMLテンプレート、Cargo.tomlを含む）を生成します。ルートの推論は抽象構文木に基づいて自動で行われ、設定は不要です。

Pactはサービス契約の仕様（CRUDエンドポイント、API契約、入力検証、エラーバリアント）に非常に適していますが、汎用型、再帰型、トレイト境界、アルゴリズムテンプレートを欠いているため、データ構造やソートアルゴリズム、状態機械などのアルゴリズム仕様には不向きです。

Pactの設計哲学は、AIプログラミングに対する深い洞察を反映しています。AIエージェントが協調する環境では、コードの解釈可能性と形式的保証が人間の可読性よりも重要です。仕様、制約、来歴情報をコードに直接埋め込むことで、Pactはエージェント間の通信と検証のための強固な基盤を提供します。