时空可组合性:可撤销副作用与响应式依赖的编程范式 论文将动态组件系统拆成时间可组合性与空间可组合性,用可撤销副作用追踪组件清理,用响应式… — Lakphy with FE&AI 见闻 — TG.ME

时空可组合性:可撤销副作用与响应式依赖的编程范式

论文将动态组件系统拆成时间可组合性与空间可组合性,用可撤销副作用追踪组件清理,用响应式 coeffect 管理依赖变化,并在 Cordis TypeScript 元框架中实现配置协调与事务式热更新;Koishi 4000+ 插件生态提供真实采用案例。本地归档包含 88 页原始 PDF、完整文字稿与关键页面。

A Programming Paradigm for Spatiotemporal Composability

The paper formalizes dynamic component composition through revertible effects and reactive coeffects, then implements the model in the Cordis TypeScript meta-framework with configuration reconciliation and transactional HMR. The local archive includes the complete 88-page PDF, full text transcript, and key rendered pages.
https://github.com/cordiverse/paper/blob/main/paper.pdf
GitHub
paper/paper.pdf at main · cordiverse/paper
A Programming Paradigm for Spatiotemporal Composability - cordiverse/paper
August 13, 2026 18