Paper Deep DiveBeginner
Cordis Paper Deep Dive: The Spatiotemporal Composability Paradigm
Read "A Programming Paradigm for Spatiotemporal Composability" from zero: no type-theory background needed — understand revertible effects and reactive coeffects through code intuition.
13 lessonsApprox. 5.2 hoursProgress 0/13
Course Catalog
1
Abstract & Introduction: Dynamic Composition and Its Two DimensionsUp next
What temporal and spatial composability actually are
20 min
2
Motivation: VSCode Plugins & AI Agents
Why today's software can't be unloaded at runtime
15 min
3
Contributions & the Type Judgment Γ ⊢ t : T
Effect annotation: types track side effects, not just return values
15 min
4
Monads: Side Effects Go into a Box
Promises are monads: η wraps values, flatMap flattens
25 min
5
Coeffects: What a Computation Needs from the World
Effects ask "what did I change"; coeffects ask "what do I need"
20 min
6
Revertible Effects: Unplug Without a Trace
Every context transformation ships an explicit inverse
30 min
7
Effect Composition: Inverses Compose Automatically
The ⋄ operation: inverses of composed effects come for free
30 min
8
Reactive Coeffects: Start When Dependencies Arrive
Satisfaction, activate / deactivate / neutral transitions
25 min
9
Component Lifecycle: Idempotency, Iteration, Epoch, Async
Inertial state machine: once a transition starts, it runs to completion
35 min
10
The Context Paradigm: A Unified Context Type
Effect context and coeffect context unified into one entity
20 min
11
The Cordis Core Library: Effect Tracking & Coeffect Resolution
ctx.effect, ctx.set, fibers and the inertial state machine
30 min
12
Component Loader & the Koishi Case Study
Declarative config, hot module replacement, 4000+ plugin ecosystem
25 min
13
Discussion, Related Work & Conclusion
Service multiplexing, access control, version management
20 min
Glossary · Paper Appendix A
The paper only includes concepts it introduces or gives special meaning to; general concepts are not repeated here.