A General Theory of Reactivity

A General Theory of Reactivity, or GTor, is an experimental specification and conceptual framework for understanding reactive programming primitives. Rather than introducing one application, it attempts to organize values, promises, streams, observables, tasks, generators, and related concepts into a common model. The theory distinguishes singular from plural data and spatial values from temporal ones. It also examines dual relationships such as getters and setters, readers and writers, and promises and resolvers. Tasks are presented as cancelable, unicast relatives of promises, while streams represent plural values distributed through time. The repository discusses pressure, polling, push systems, signals, behaviors, cancellation, and resource coordination. Code sketches, tests, diagrams, and presentation materials accompany the ongoing theoretical work.