Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (verdagon.dev)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 24 Apr 17:21
https://programming.dev/post/13200883

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

#programming_languages