[GSoC Proposal] Statically Checked Measurement Units

[Andrei Alexandrescu]

On 3/29/11 2:17 PM, spir wrote:
> On 03/29/2011 04:45 PM, Andrei Alexandrescu wrote:
> Waow, this is a great explanation of expected benefits of units, I guess.
> Also, isn't this precisely the power of true typedefs?

Typedefs would not allow defining categorical types (e.g. no 
arithmetic). Fortunately there are already means in the language for 
defining such types.

Andrei