bearophile wrote:
> Scala has a powerful type system that allows to implement such things
> in a good enough way:
> 
> http://www.michaelnygard.com/blog/2009/05/units_of_measure_in_scala.html

Either I'm missing something, or this system only checks units at
runtime (which would make it both slow and unsafe).

Boost.Units (C++) checks units at compile time.  There is no reason why
D could not use the same approach.


-- 
Rainer Deyke - [email protected]

Reply via email to