[Semi OT] Language for Game Development talk

[Paulo Pinto via Digitalmars-d]

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