Ary Borenszweig:
Could you tell which are those two kinds and which other correctness are ignored? Just to learn more about Rust. Thanks!
Rust does everything to be memory safe, and avoid data races outside its unsafe code zones. But in the real world there are many other sources of bugs that can wreak a program. Ada (and in a less intense way D) try to help the programmer write correct code for some of them too (and other languages are ATS, Whiley, F*, Idris, etc, cover other forms of correctness).
Bye, bearophile
