Scope-Oriented Programming: A Conceptual Framework for Annotation-Free Deterministic Memory

Abstract

For roughly three decades, systems programming has treated automatic memory safety as a choice between two costs: the runtime unpredictability of garbage collection, or the annotation burden of compile-time ownership systems such as borrow checking with explicit lifetimes. This document proposes Scope-Oriented Programming (SOP) as a third position. SOP is built on a single organizing premise: that scope is the universal unit of lifetime. The framework holds that the perceived necessity of lifetime annotations arises from an accidental separation — between the lexical boundaries a program already expresses and the resource lifecycles those boundaries could govern — and that reunifying the two removes the annotation burden without introducing a garbage collector or reference counting. This is a philosophical and architectural declaration, not a completed proof. Its purpose is to state the framework clearly, distinguish it from prior art, and record it as the starting point of an active research program realized in the MELP language (melp.dev).