>> I would normally define 'correctness' to include rigorous mathematical proofs. > Do you have an example of a language that does what you're looking for? Yo

>> I would normally define 'correctness' to include rigorous mathematical proofs. > Do you have an example of a language that does what you're looking for? You mean, like SPARK? > On the proof side, Rust's built in unit testing is great, and allows for quick validation of code (proofs). No, unit testing is not proof of correctness, it's a hint that your code has no regressions at best. I'd take a proof over unit tests any time of day.