Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (
from to on 24 Apr 17:21

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).


threaded - newest on 24 Apr 22:37 collapse

Now this is a cool project. Thanks for sharing!