第 1 课：摘要与引言：动态组合与两个维度

一句话版：这篇论文想给「运行时能安全地装组件、拆组件」这件事补上理论基础。它发现这需要两个互相独立的维度同时成立——时间上拆了要能还原（时间可组合性），空间上依赖要能自动协调（空间可组合性）——并给出了两把钥匙：可回退效应和反应式余效应。Cordis 就是这套理论的实现，而 DSH 正是站在它肩膀上建起来的。

---

1. 动态组合：运行时装上去、拆下来的组件

1.1 先分清「静态组合」和「动态组合」

组合，也就是用较简单的零件拼出复杂系统，是软件工程的地基原则。

传统上，组合是静态的：函数调用、模块导入、类继承都在编译时就解析好了，整个程序运行期间固定不变：

// 静态组合：编译时定死，运行期不能变
import { readFile } from "node:fs";  // 这一步在编译期就解析完毕

function loadConfig() {
  return readFile("config.json", "utf8"); // 这个调用关系全程固定
}

而动态组合指的是：在运行时加载、卸载和重新配置组件。你不需要改代码、不需要重新编译，系统还在跑着，组件就能装上或拆下：

// 动态组合：系统运行中，随时装卸组件
installComponent(chatPlugin);   // 装上：聊天功能立刻可用
uninstallComponent(chatPlugin); // 卸下：聊天功能立刻消失，系统继续跑

🎁 打比方：静态组合是「一栋盖好的楼」，户型在图纸上就定死了，想改只能拆承重墙；动态组合是「一桌乐高」，任何一块都能随时拼上去、拆下来、换个位置。

1.2 谁需要动态组合？——插件系统和自演化智能体

论文点名了两类「用户」：

• 插件系统：VS Code 的扩展、浏览器的插件、游戏 Mod——用户装上新插件，功能立刻出现；卸掉插件，功能立刻消失。插件市场的兴旺，靠的就是「运行时能装能卸」。
• 自演化智能体框架：智能体在长期运行中，需要给自己装上新工具、换掉旧工具，甚至修改自己的运行时——运行中的系统修改自己（还记得 DSH 的「自指修改」吗？）。

1.3 为什么现有软件做不到？

你可能会说：「插件系统不是早就有了吗？」问题在于——能装能卸，不等于装得干净、卸得干净。

当前实践依赖的是粗粒度机制，论文总结了两个痛点：

1. 只能靠重启重新配置——想改一个重要配置？请重启。重启意味着丢掉全部运行时状态（内存里的会话、缓存、临时数据全没了）。
2. 卸了不干净——插件卸载后，它注册的事件监听器可能还「赖」在系统里继续响应事件，它分配的资源可能没被回收，系统里残留一堆「僵尸」。

🎁 打比方：这就像给鱼缸换水，却必须先「把鱼捞出来、倒掉水、再重新放鱼」。明明只是想换个水，代价却是整个鱼缸的生态都要重建。更糟的是，有时候鱼捞出来了，缸里的水草还赖着不走。

论文的核心主张是：动态组合缺的不是工程技巧，而是理论基础。静态组合有非常成熟的形式化框架（类型系统、范畴论……），动态组合却没有同等的理论支撑。这篇论文就是来补这块空白的。

---

2. 两个正交维度：拆得干净 × 排得整齐

论文认为，要刻画「动态组合到底需要什么」，光看组合的代数性质还不够，还必须识别出两个相互正交的维度。

正交是什么意思？就是两件事互相独立、不互相干扰——解决其中一件，不会顺带解决另一件；而缺了任何一件，动态组合都不成立。

2.1 时间可组合性：拆了能还原

定义（翻译成人话）：移除组件时，必须完整且安全地回退该组件对共享环境所做的所有修改——每一次资源分配、事件注册、状态变更，都要被跟踪，并在移除组件时有序回收。

换个说法：组件运行期间「动了环境」——占用了内存、注册了监听器、改了配置、写了文件。时间可组合性要求：把它卸下来时，它动过的每一样东西都要还原，像从来没来过一样。

🎁 打比方：厨房。你做菜时用了水、占了台面、开了火、把调料挪了位置。做完菜，你要把所有东西放回原位、擦干净台面、关火。「做完菜厨房能不能恢复原状」，就是时间可组合性。 一个称职的厨师不会留下「烧糊的锅还泡在水池里」。

在静态环境里，这件事很简单——函数退出时，它的局部变量自动销毁（这就是论文提到的 RAII 和括号作用域），像「函数结束 = 厨房自动归位」。但在动态环境里，组件长期存续、带状态，它的效应作用域不受词法边界约束——组件卸载时，它的「厨房」可能已经散布在整个系统里。

2.2 空间可组合性：依赖自动协调

定义（翻译成人话）：组件必须能以结构化且可验证的方式声明、发现并解析彼此之间的依赖；并在依赖发生变化时协调组件的生命周期。

换个说法：组件之间不是孤立的——A 组件可能要用 B 组件提供的服务。空间可组合性要求：A 能清楚地声明「我需要什么」，系统能自动找到「谁来提供」，并且当提供者变化时（装上了、卸载了、换版本了），依赖方要自动跟着启动或停用。

🎁 打比方：插座。电器不需要知道发电厂在哪，它只需要一个标准的插头，声明「我需要 220V 交流电」，插座负责供电。当你拔掉一个电器（卸载），依赖它的东西（比如需要它输出画面的显示器）不该还硬撑着干活。「插上就能用、拔掉就停、缺电自动断电」，就是空间可组合性。

在静态环境里，这件事就是「模块导入解析」——import 语句在编译时就把依赖连好了。但在动态环境里，依赖会在执行期间出现、消失、甚至改变身份：今天 B 提供这个服务，明天 B 被卸载换成了 C，A 该怎么办？这就是空间可组合性要回答的问题。

2.3 两个维度对比 + 示意图

💡 注意图里的两个关键词：时间维度对应「副作用完整撤销」，空间维度对应「依赖齐了才启动」。两个维度互相独立——一个管「拆得干不干净」，一个管「排得整不整齐」。

---

3. 两把钥匙：效应与余效应

论文用两个经典概念来分别对付这两个维度，并把它们从「静态分析工具」升级成「运行时机制」。

3.1 效应（effect）：计算对环境做了什么

效应 = 计算可能产生的副作用——程序对世界的影响：改了状态、读了文件、发了网络请求、注册了监听器。

效应是「输出」方向的概念：你动了什么？

论文把效应升级为可回退效应（reversible effects）：每个上下文变换都配一个显式逆变换——你做过的每件事，都登记一份「撤销说明书」。组件卸载时，按清单把动作逆序回放，状态就完整恢复：

// 直觉版：给每个操作登记一个「撤销操作」
const install = () => {
  registerListener("click", onClick);   // 做：注册监听器
  setConfig("theme", "dark");           // 做：改主题
};

// 卸载组件 = 按逆序执行所有 undo
const uninstall = () => {
  setConfig("theme", "light");          // 撤销 2：主题改回去
  unregisterListener("click", onClick); // 撤销 1：注销监听器
};

🎁 打比方：可回退效应 = 「全程录像 + 每一帧都能倒带」。组件做了什么，系统都记着账；卸载时按账单倒着结算，一分钱不赖。

3.2 余效应（coeffect）：计算需要环境给什么

余效应 = 计算对其环境的要求——需要访问的资源、需要具备的能力、需要依赖的服务。

余效应是「输入」方向的概念：你需要什么？ 它是效应的对偶（反过来）：效应描述程序对世界的影响，余效应描述程序对世界的需求。

论文把余效应升级为反应式余效应（reactive coeffects）：组件把依赖注册进一个类型化上下文，系统盯着这份依赖清单——依赖齐了，自动激活组件；依赖没了，自动停用组件：

// 直觉版：声明依赖，齐了才启动
const plugin = {
  requires: ["database", "logger"], // 余效应：我需要什么
  start() { /* 只有 database 和 logger 都在，才会被调用 */ },
  stop()  { /* database 挂了，自动停用 */ },
};

🎁 打比方：反应式余效应 = 插座 + 电表。电器插头声明「我需要电」，插座检测到有电才通电，停电自动断电——不需要电器自己去盯着发电厂。

3.3 一张表收尾

⚠️ 记忆口诀：效应看「做」，余效应看「要」——一个管时间维度（拆了还原），一个管空间维度（依赖协调）。

最后，论文把这套理论做成了真实可用的东西：Cordis——一个面向时空可组合性的元框架（「造框架的框架」），由两部分组成：带效应跟踪与余效应解析的核心库，以及带配置协调与热模块替换的声明式组件加载器。DSH 正是建立在 Cordis 之上的——所以你精读这篇论文，就是在学 DSH 的地基。

---

4. 关键点回顾

1. 动态组合 = 运行时装卸组件：插件系统、自演化智能体都需要它；现有做法靠「重启 + 粗粒度机制」，会丢状态、卸不干净。
2. 两个正交维度：时间可组合性（拆了能还原副作用）与空间可组合性（依赖自动声明、发现、协调）互相独立、缺一不可。
3. 静态 vs 动态的落差：静态时时间可组合性 ≈ 词法作用域（RAII）、空间可组合性 ≈ 模块导入；动态时两者都变得很难。
4. 效应 = 计算对环境做了什么（副作用，输出方向），升级为可回退效应：每个操作配显式逆变换，卸载时逆序回放。
5. 余效应 = 计算需要环境给什么（依赖、能力、资源，输入方向），升级为反应式余效应：依赖齐了自动激活，没了自动停用。

🚀 下一节我们进入论文的「动机示例」：看插件系统和自演化智能体框架这两个真实场景里，动态组合到底是怎么崩的，以及粗粒度变通方案为什么治标不治本。