Rust is probably close to a good idea: have the programmer give directions as to the lifetime/behavior of the data and allocated memory, rather than having to g

Rust is probably close to a good idea: have the programmer give directions as to the lifetime/behavior of the data and allocated memory, rather than having to guess. Compilers might be able to do some of that, but at least the standard libraries should be able to do the hints, and almost all dynamic allocations on day-to-day code uses dynamic structures in standard libraries like hashmaps and variable-length lists/vectors/arrays.