This language has no garbage collection, no pointers, no manual memory management. Instead it uses compile-time exclusivity checking to ensure that no two bindings are aliased.
All mutable and immutable access is tracked and checked at compile time.
This is similar to Rust's borrow checker but without the lifetime annotations.
It uses a custom intermediate representation and multiple passes to track the exclusivity of variables and insert the necessary memory barriers.
This technique is called mutable value semantics, since an object can not hold any references to another object. Instead it is a value that can be copied around. Since objects only own other objects it means that lifetimes are simple and no lifetime annotations are needed.
In order for objects to temporarily give access we use 'subscripts' in which the object forwards immutable/mutable access to a part of the original object. This is done in a way that doesn't 'return' access but defines a region of access that is checked at compile time.
Using the following references to help implement this: