2
1今天的这篇的主题是： A Programming Paradigm for Spatiotemporal Composability
Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。
如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。
联系小助手微信：eccstartup（加群/投稿论文）
Summary
现代软件——从插件系统到自演化的智能体运行框架——越来越需要动态组合能力，但其形式化基础仍不够完善。我们识别出这一问题的两个正交维度：时间可组合性，即在移除组件时能够完全撤销其副作用的能力；以及空间可组合性，即声明并响应式管理组件间依赖关系的能力。我们通过将经典的效应（effect）和协效应（coeffect）概念提升为运行时机制，来解决这两个维度的问题。
具体而言，我们形式化定义了可撤销效应（revertible effects）：每个上下文变换都携带一个由运行时持有的逆变换，从而在单个组件的局部范围内建立时间可组合性。我们还形式化定义了响应式协效应（reactive coeffects）：每次上下文变化都会依据组件的协效应规约进行分类，以驱动组件的激活与停用，从而在单个组件的局部范围内建立空间可组合性。
随后，我们将效应上下文与协效应上下文统一为单一的上下文类型，并通过该上下文对所有效应和协效应进行中介，由此形成了一套我们称为**上下文范式（context paradigm）**的规约。这种中介机制导出了一种观测等价关系，使得不同组件的效应能够在该等价关系意义下交错执行，而不会相互干扰。
通过将这些机制整合到组件这一概念中，我们提出了一套动态组合演算，其元理论将单个组件的时空可组合性推广到由多个交错执行的组件构成的整个系统。
我们在 Cordis 中实现了这些思想。Cordis 是一个支持时空可组合性的元框架，提供了具有效应追踪和协效应解析能力的核心库，以及支持配置协调与热模块替换的声明式组件加载器。
原文链接：arxiv.org
