paper

这是一个面向时空可组合性的编程范式研究项目，旨在为动态组件化系统提供形式化基础。核心功能包括可逆效应（revertible effects）机制，支持组件卸载时自动回滚副作用；以及响应式协效应（reactive coeffects）机制，实现依赖关系的声明与自动更新；二者统一于上下文类型，并通过Cordis元框架落地，支持配置协调与热模块替换。适用于插件系统、自演化智能体架构、动态微服务编排等需高可靠性运行时组件动态加载与卸载的场景。