You have to think about what correctness means. Rust is designed for memory safety, i.e within a program memory space, it ensures that when something writes to

You have to think about what correctness means. Rust is designed for memory safety, i.e within a program memory space, it ensures that when something writes to a memory its allowed to. Most of the code in your program won't benefit from this, especially if using standard libraries for things. For other things, like data manipulation, its no more correct than any other language. It also won't help you with algorithmic errors that are language independent.