As I understand it, Rust differs from managed languages in the sense that all the checks it performs are done at compile-time. It forces you to write your code correctly, and in effect it proves that ...