[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-94710":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":10,"languages":10,"totalLinesOfCode":10,"stars":11,"forks":12,"watchers":13,"openIssues":14,"contributorsCount":14,"subscribersCount":14,"size":14,"stars1d":14,"stars7d":15,"stars30d":16,"stars90d":14,"forks30d":14,"starsTrendScore":14,"compositeScore":17,"rankGlobal":10,"rankLanguage":10,"license":10,"archived":18,"fork":18,"defaultBranch":19,"hasWiki":18,"hasPages":18,"topics":20,"createdAt":10,"pushedAt":10,"updatedAt":21,"readmeContent":22,"aiSummary":23,"trendingCount":14,"starSnapshotCount":14,"syncStatus":24,"lastSyncTime":25,"discoverSource":26},94710,"paper","cordiverse\u002Fpaper","cordiverse","A Programming Paradigm for Spatiotemporal Composability","",null,2347,99,4,0,526,1124,85,false,"main",[],"2026-08-24 04:01:22","# A Programming Paradigm for Spatiotemporal Composability\n\n**[Read the paper (PDF)](paper.pdf)** · Draft of August 13, 2026\n\n> This is a preprint under active revision. The content may change substantially; please cite the latest version and check back before relying on specific results.\n\nModern software---from plugin systems to self-evolving agent harnesses---increasingly requires _dynamic composition_, yet its formal foundations remain underdeveloped. We identify two orthogonal dimensions of the problem: _temporal composability_, the ability to completely revert a component's side effects upon removal, and _spatial composability_, the ability to declare and reactively manage inter-component dependencies.\nWe address the two dimensions by lifting classical effect and coeffect concepts to runtime mechanisms.\nIn particular, we formalize _revertible effects_, in which every context transformation carries an inverse that the runtime tracks.\nWe formalize _reactive coeffects_, in which each change of the context notifies a component against its coeffect specification.\nWe unify the effect context and the coeffect context into a single _context type_, which constitutes a programming paradigm.\nAfter that, we combine these mechanisms into the notion of a _component_ and give a calculus of dynamic composition, whose metatheory carries spatiotemporal composability from a single component to a whole system of interleaved components.\nWe implement these ideas in _Cordis_, a meta-framework of spatiotemporal composability that provides a core library with effect tracking and coeffect resolution, as well as a declarative component loader with configuration reconciliation and hot module replacement.\n","这是一个面向时空可组合性的编程范式研究项目，旨在为动态组件化系统提供形式化基础。核心功能包括可逆效应（revertible effects）机制，支持组件卸载时自动回滚副作用；以及响应式协效应（reactive coeffects）机制，实现依赖关系的声明与自动更新；二者统一于上下文类型，并通过Cordis元框架落地，支持配置协调与热模块替换。适用于插件系统、自演化智能体架构、动态微服务编排等需高可靠性运行时组件动态加载与卸载的场景。",2,"2026-08-14 02:30:07","CREATED_QUERY"]