GitHub项目说明 · 非用户反馈2026-08-13

插件与智能体框架需要可回滚副作用与声明式依赖的动态组合范式

论文指出动态组合在时间（副作用完全回滚）和空间（依赖声明与响应）两个维度缺乏形式化基础，提出可逆效应与响应式余效应，并实现为 Cordis 元框架，面向构建插件系统和自进化智能体框架的开发者。

查看原始信号github:cordiverse/paper

目标用户

构建插件系统、自进化智能体框架或需要动态扩展组件的软件开发者

潜在需求

一种能够安全回滚组件副作用、声明式管理组件间依赖并按上下文变化响应调整的运行时机制与编程范式。

发生场景

现代软件日益依赖动态组合，例如插件系统和自进化智能体框架，但组件移除时副作用无法完全回滚，组件间依赖不能声明式地响应上下文变化，导致组合复杂且易出错。

来源证据

现代软件（如插件系统、自进化智能体框架）越来越需要动态组合，但其形式化基础不足。

# A Programming Paradigm for Spatiotemporal Composability **[Read the paper (PDF)](paper.pdf)** · Draft of August 13, 2026 > This is a preprint under active revision. The content may change substantially; please cite the latest version and check back before relying on specific results. Modern software---from plugin systems to self-evolving agent harnesses---increasingly requires _dynamic composition_, yet its formal foundations remain underdeveloped. We identify two orthogonal dimensions of the

https://github.com/cordiverse/paper

为什么值得留意

该信号不是泛泛功能罗列，而是针对动态组合中两个尚未被形式化解决的阻碍（时间与空间可组合性），并给出了具体实现，暗示一个明确的技术空缺，值得独立开发者继续深挖。

可能延伸 · 模型推测

可逆副作用机制可复用为插件热更新或卸载时的副作用回滚方案
响应式依赖声明可推广到配置协调或运行时依赖验证场景

目前未知

论文为预印本，内容可能大幅修订
目前无用户报告或采用证据，需求强度未知
Cordis 元框架的实际可用性和生态尚未验证

继续核实

除论文作者外，是否有独立团队在实际插件系统或智能体框架中遇到相同问题？
Cordis 框架是否有真实用户采用，其效果如何？
可逆效应和响应式余效应能否直接落地到主流语言/框架（如热更新插件）？

主题词

dynamic compositionside effect rollbackdependency managementplugin systemsagent harnesses