Building on Rock, Not Sand
I&#x27;m always confused by the &quot;safe language&quot; evangelism. Reducing cognitive load is a Good Thing TM; I get that. But aren&#x27;t we just trusting the Rust compiler and JVM to not have subtle bugs that introduce memory management errors into our programs?<p>Centralizing the memory management code to some well tested core---like the Rust compiler or some C lib---sounds to be the crux of wiring memory safe code, not the language.