[Semi OT] Language for Game Development talk

bearophile via Digitalmars-d digitalmars-d at puremagic.com
Sun Sep 21 02:30:13 PDT 2014


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


More information about the Digitalmars-d mailing list