[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