[Semi OT] Language for Game Development talk

[bearophile via Digitalmars-d]

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