Ask HN: What's the safest programming language at the moment?

I've looked at Rust and it loks pretty good, I'm getting type safety and compile time help with memory management.

Is there another language that I'm not aware of that has even more safety features?