Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
The author of this blog is also the creator of Vale, an experimental language with generational references (which is one of the named approaches).
Another one of Vale’s unique features is higher RAII, which forces the coder to call a function on a value to destroy it (a sort of linear type).
Add comment