I quoted this in another comment here, but just to highlight one of the best couple of sentences in TFA: > Tools to automate the “actually freeing the memory”

I quoted this in another comment here, but just to highlight one of the best couple of sentences in TFA: > Tools to automate the “actually freeing the memory” part, like lifetimes in Rust and RAII in C++, don’t solve these problems. They absolutely aid correctness, something else you should care deeply about, but they do nothing to simplify all this machinery.