Nimrod's static type system looks comparable to Rust's; are you referring to Rust's safety guarantees?
If so, I believe Nimrod's support for immutability gets you pretty far, but I have not looked very deeply at it. For example, implements an explicit "IO taint" mechanism reminiscent of Haskell.