可组合性课堂
August 17, 2026 · View on GitHub
两门互相衔接的通俗课，外加一份论文中文译文阅读页：
| 页签 | 路由 | 讲什么 |
|---|---|---|
| Cordis 演算 | #/lesson/<id> | 把论文《A Programming Paradigm for Spatiotemporal Composability》的演算讲成八课，最后一课对回 Cordis 4.0 源码 |
| DeepSeek Harness | #/dsh/lesson/<id> | 同一套演算落在真实产品上：dsh 的三层组合、一次对话的流水线、官方 78 行基础插件全景 |
| 论文译文 | #/paper | 中文译本，公式用 KaTeX 渲染，带目录与滚动高亮 |
每节课都配可以动手点的演示和一道随堂题，两门课的术语一一对应、双向链接。
Cordis 演算（8 课 + 附录）
| # | 主题 | 讲什么 |
|---|---|---|
| 1 | 世界状态 Γ | 把副作用写进函数签名 |
| 2 | 可撤销 effect | 一个动作配一把撤销钥匙 |
| 3 | 撤销顺序 | 为什么要倒着撤，什么时候可以乱撤 |
| 4 | coeffect | 「我需要什么」以及变化的三种分类 |
| 5 | 生命周期 | fiber 的四个状态和七条规则 |
| 6 | 卸载定序 | 卸载为什么要分两步 |
| 7 | 合流性 | 为什么可以放心乱序热插拔 |
| 8 | 落到代码 | 对照 packages/core/src/{fiber,reflect,context,utils}.ts |
DeepSeek Harness（导览 + 3 课）
| # | 主题 | 讲什么 |
|---|---|---|
| 00 | 为什么是它 | 与 Claude Code / Codex / Pi Agent 逐维度对比；与演算课的概念对照表 |
| 01 | 组合出一棵树 | profile → bundle → patch 三层叠加；换两行 provider 搬走整个执行世界 |
| 02 | 一次对话 | turn / step 流水线单步走，六个瀑布事件，「模型能看到的必须是记录过的」 |
| 03 | 官方全景 | 78 行基础组合按能力域可搜可筛、18 类面向模型的工具、「我要加 X 该动哪里」查表 |
课程里的每个数字都能在 deepseek-harness 仓库里核对：78 行来自 packages/bundle/base/cordis.patch.yml，工具名来自各 tool-* 包的注册点，流水线与扩展点来自 docs/architecture.md。npm run smoke 里有一条断言专门盯着这个 78，行数一变测试就红。
本地开发
npm install
npm run dev # http://localhost:5173
npm run build # 类型检查 + 产物打包到 dist/
npm run preview # 预览 dist/
npm run smoke # 在 Node 里把两门课的每一课和译文页各渲染一遍
npm run smoke 用 SSR 把整棵组件树真正执行一次，能抓到只在运行时才暴露的错误（比如公式渲染失败、组件取值为空）。它同时校验译文页的公式块数量与目录锚点数量，CI 里跑在 build 之前。
部署
推到 main 后由 .github/workflows/deploy.yml 自动构建并发布到 GitHub Pages。仓库需要先在 Settings → Pages → Source 选择 GitHub Actions。
Vite 的 base 设为 ./，所以站点放在 <user>.github.io 根目录或 <user>.github.io/<repo>/ 子路径都能正常加载；路由用 hash，不需要额外的 404 回退配置。
代码结构
| 文件 | 作用 |
|---|---|
src/ui.tsx | 把 Canvas SDK 用到的组件（Stack / Row / Grid / Card / Table / Callout / Pill / Toggle …）按同样 API 实现一遍，附带明暗两套配色 |
src/Course.tsx | Cordis 演算课正文，是 Cursor Canvas 版的直接拷贝 |
src/DshCourse.tsx | DeepSeek Harness 课正文，只有网页版 |
src/lesson-kit.tsx | 两门课共用的教学组件与课程外壳（Course.tsx 为便于与 Canvas 版整份同步，保留自己的一份拷贝） |
src/route.ts | 把「当前第几课」提升为 URL，两门课各用一个前缀，链接可分享、前进后退可用 |
src/PaperPage.tsx | 译文渲染：markdown-it + KaTeX，自建目录与滚动高亮 |
useCanvasState 在网页版改为 localStorage 持久化，演示里点出来的状态刷新后仍在。Canvas 版更新时 Course.tsx 仍可整份覆盖，只需保留顶部两行 import 和 useLessonState 一处调用。
许可与版权
站点代码按 MIT 授权。
例外：src/content/cordis-paper.zh.md 和 public/cordis-paper.zh.pdf 是 cordiverse/paper 的非官方中文译本，著作权归原论文作者（Yifan Shi、Wei Zhang、Tianyi Cui）所有，不在 MIT 授权范围内。原仓库未附授权声明，译文由 LLM 翻译整理、仅供学习参考，引用请以英文原文为准；若作者不希望它被转载，请提 issue，会立即撤下。
课程内容是对该论文与 deepseek-harness 的非官方通俗讲解，代码引用自 cordis 4.0.0-rc.8 与 deepseek-harness master（2026-08）。