cordiverse/paper

解决的问题

该项目解决了现代软件中动态组合缺乏形式化基础的问题，特别是针对插件系统和自演化AI代理框架等系统。它解决了如何在运行时动态添加或移除组件而不留下副作用（时间可组合性），以及如何反应式地管理组件间依赖关系（空间可组合性）的问题。

工作原理

该项目引入了「上下文范式」，统一了两个核心机制：

1. 可回滚的副作用：组件对系统上下文所做的每一次更改都会被运行时追踪，当组件被移除时，运行时会持有其逆操作，以完全撤销这些更改。
2. 反应式共效应：组件声明其对上下文的需求；系统则根据这些声明，反应式地激活或停用组件。

这些机制在 Cordis 中实现，这是一个元框架，提供用于效果追踪和共效应解析的核心库，以及支持配置协调和热模块替换的声明式组件加载器。

适用人群

构建复杂动态系统（如插件架构或AI代理框架）的软件架构师和开发者，需要在运行时演化或替换组件时确保系统稳定性。

亮点

• 时空可组合性：结合了可回滚副作用与反应式依赖管理的能力。
• 上下文范式：通过单一上下文类型统一协调效果与共效应的范式。
• Cordis 框架：提供效果追踪与声明式组件加载器的实用实现。
• 热模块替换：支持在不重启系统的情况下更新组件。