时空可组合性编程范式：一份论文预印本

📋 概述

一份关于「时空可组合性」（spatiotemporal composability）的编程范式论文预印本（2026 年 8 月 13 日草稿）。现代软件——从插件系统到自我进化的 agent 框架——越来越需要动态组合，但形式化基础薄弱。论文区分「时间可组合性」（移除组件时彻底回滚其副作用）与「空间可组合性」（声明并响应式管理组件间依赖），并形式化了可逆效应与响应式余效应，统一为上下文类型，最终以 Cordis 元框架实现。