DeepSeek-AI 与北京大学合作提出“上下文范式”，统一时空可组合性

DeepSeek-AI 与北京大学合作在 arXiv 发表论文，提出“上下文范式”，统一现代软件动态组合的时间与空间可组合性。该范式将经典 effect/coeffect 提升为可回滚 effect 与响应式 coeffect 运行时机制，并统一为单一 context 类型。论文还给出动态组合演算及元理论证明，针对插件系统和自进化 agent 框架的形式化需求。