[Semi OT] Language for Game Development talk

bearophile via Digitalmars-d digitalmars-d at puremagic.com
Sun Sep 21 03:47:55 PDT 2014


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


More information about the Digitalmars-d mailing list