Re: [Semi OT] Language for Game Development talk

[bearophile via Digitalmars-d]

Paulo Pinto:

(and other
languages are ATS, Whiley, F*, Idris, etc, cover other forms of
correctness).
...

You can handle units of measure via tuples structs, since you mention F#.

Here I mentioned F*, not F#:
http://research.microsoft.com/en-us/projects/fstar/

Bye,
bearophile