Reference Capabilities for Flexible Memory Management
summary
Verona organises all objects into tree-shaped regions with a window of mutability that only allows allocation and deallocation in the active region, making liveness a region-local property. A static ownership type system of reference capabilities enforces isolation while permitting object moves and region merges, so different regions can use mix-and-match memory strategies (tracing, reference counting) and data accesses avoid expensive atomics. There is a formal soundness proof and a working implementation in progress; region inference is not yet automatic.
AI-written summary · about