Pony language's "reference capabilities" are like this--which separates the idea of type from the access to memory, and provides another level of error-class el

Pony language's "reference capabilities" are like this--which separates the idea of type from the access to memory, and provides another level of error-class elimination and its composition of these reference capabilities and the actor model for another reduction of runtime overhead in garbage collection (being lock-free and concurrent.) https://tutorial.ponylang.org/capabilities/reference-capabilities.html https://tutorial.ponylang.org/capabilities/reference-capabil... https://tutorial.ponylang.org/appendices/garbage-collection.html https://tutorial.ponylang.org/appendices/garbage-collection....