Rust, an Anti-Sloppy Programming Language