cordiverse/paper

何を解決するか

このプロジェクトは、現代のソフトウェアにおける動的構成のための形式的基盤の欠如に取り組んでいます。特に、プラグインシステムや自己進化型AIエージェントハーネスのようなシステムに特化しています。コンポーネントを実行時（ランタイム）に追加または削除しても副作用を残さない（時間的構成可能性）こと、そしてコンポーネント間の依存関係を反応的に管理すること（空間的構成可能性）の方法を解決します。

どう動くか

このプロジェクトは「コンテキストパラダイム」を導入し、2つのコアメカニズムを統合します：

1. 元に戻せる効果（Revertible Effects）：コンポーネントがシステムコンテキストに加えるすべての変更はランタイムによって追跡され、コンポーネントが削除された際に完全に元に戻すための逆操作が保持されます。
2. 反応的コエフェクト（Reactive Coeffects）：コンポーネントはコンテキストから何を必要とするかを指定し、システムはこれらの指定に基づいてコンポーネントを反応的に有効化または無効化します。

これらのメカニズムは、Cordis というメタフレームワークとして実装されており、効果の追跡とコエフェクトの解決のためのコアライブラリ、および構成の調整とホットモジュールリプレースメントをサポートする宣言型コンポーネントローダーを提供しています。

対象ユーザー

プラグインベースのアーキテクチャやAIエージェントフレームワークなど、実行時におけるコンポーネントの進化や交換を安全に行う必要がある、複雑な動的システムを構築するソフトウェアアーキテクトや開発者。

特徴

• 空間時間的構成可能性（Spatiotemporal Composability）：副作用の元に戻しと依存関係の反応的管理を統合。
• コンテキストパラダイム：単一のコンテキスト型を通じて効果とコエフェクトを調整する統一された枠組み。
• Cordisフレームワーク：効果追跡と宣言型コンポーネントローダーを提供する実用的な実装。
• ホットモジュールリプレースメント：システムの再起動なしにコンポーネントを更新可能。