damnyou

No memory safe language in existence can meet your standards, since they're all written on a bedrock of unsafe code.

Safe Rust solves the problem of memory safety (assuming that any unsafe code is correct). Unsafe Rust continues to be potentially memory unsafe. That is equivalent to other memory safe languages like Java (which is memory safe under the assumption that the JVM has no memory safety bugs and any JNI code is correct), and a very large improvement over C and C++.

Yes, yes, that's the standard scientific racist line. "Oh we just care about educational outcomes".