论文精读入门
Cordis 论文精读：时空可组合性编程范式
从零读懂《一种面向时空可组合性的编程范式》：不需要类型理论背景，用代码直觉理解可回退效应与反应式余效应。
13 节课约 5.2 小时进度 0/13
课程目录
1
摘要与引言：动态组合与两个维度下一节
时间可组合性、空间可组合性到底是什么
20 分钟
2
动机示例：VSCode 插件与 AI 智能体
为什么现在的软件做不到运行时卸载
15 分钟
3
贡献回顾与类型判断 Γ ⊢ t : T
效应标注：类型不只记录返回值，还记录副作用
15 分钟
4
单子：副作用装进盒子
Promise 就是单子：η 装值、flatMap 压平
25 分钟
5
余效应：计算需要环境给什么
效应问『我改了什么』，余效应问『我需要什么』
20 分钟
6
可回退效应：装得上去，拆得下来
每个上下文变换都配一个显式逆变换
30 分钟
7
效应组合：逆变换自动组合
⋄ 运算：复合效应的逆由组合自然得到
30 分钟
8
反应式余效应：依赖齐了自动启动
满足性、激活 / 停用 / 中性迁移分类
25 分钟
9
组件生命周期：幂等、迭代、纪元、异步
惯性状态机：转换一旦开始就运行至完成
35 分钟
10
上下文范式：统一上下文类型
效应上下文与余效应上下文整合为一个实体
20 分钟
11
Cordis 核心库：效应跟踪与余效应解析
ctx.effect、ctx.set、纤程与惯性状态机
30 分钟
12
组件加载器与 Koishi 案例
声明式配置、热模块替换、4000+ 插件生态
25 分钟
13
讨论、相关工作与总结
服务多路复用、访问控制、版本管理
20 分钟
术语表 · 论文附录 A
论文只收录本文提出或赋予特殊含义的概念；通用概念不重复列出。