Am 21.09.2014 11:30, schrieb bearophile:
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
You can handle units of measure via tuples structs, since you mention F#.
Not as clean, but workable.
--
Paulo
