cordiverse/paper

解決的問題

本專案解決現代軟體中動態組合缺乏形式化基礎的問題，特別是針對插件系統與自演化 AI 代理集線器等系統。它解決了如何在執行時動態新增或移除元件而不留下副作用（時間可組合性），以及如何反應式地管理元件間的相依性（空間可組合性）的問題。

工作原理

本專案引入「上下文範式」，統合兩項核心機制：

1. 可回復的副作用：元件對系統上下文所做的每一項變更皆由執行時追蹤，當元件被移除時，執行時會持有其逆操作，以完全還原這些變更。
2. 反應式共效應：元件宣告其對上下文的需求；系統則根據這些宣告，反應式地啟用或停用元件。

這些機制在 Cordis 中實現，這是一個元框架，提供用於效果追蹤與共效應解析的核心函式庫，以及支援設定協調與熱模組取代的宣告式元件載入器。

適用對象

建構複雜動態系統（如插件架構或 AI 代理框架）的軟體架構師與開發者，需要在執行時演化或替換元件時確保系統穩定性。

亮點

• 時空可組合性：結合可回復副作用與反應式依賴管理的能力。
• 上下文範式：透過單一上下文類型統一調節效果與共效應的範式。
• Cordis 框架：提供效果追蹤與宣告式元件載入器的實用實作。
• 熱模組取代：支援在不重啟系統的情況下更新元件。