Great. What about Rust like static memory safety analysis. (But transparent to the user.)
I wouldn't say Rust's method of statically checked memory safety is exactly transparent. You have to do some weird contortions to express many common idioms, or your code won't compile.
