Computing with SI-units

Computing with SI-units

[Lutz Donnerhacke]

http://www.iks-jena.de/mitarb/lutz/ada/units/

Rechnen mit SI-Einheiten unter Beachtung der Einheitendimensionen. Es
existieren zwei Varianten: Die einfache Typendefinition, die explizite
Konvertierungen zwischen Multiplikationen und Additionen verlangt und die
Verwendung von tagged Typen, die einige dieser Konvertierungen ersparen.

Computing on SI-units respecting the unit dimensions. There are two
different implementations: One that uses simple types and so requires
explicit convertion between multiplication and addition, while the tagged
variant reduces a substantial amount of such typing.

The problem is known in cla as the "matrix operations with compile time
discriminat checking" problem. A solution to the matrix-problem allows a
very efficient implementation to the SI-problem, too. So this SI-solution
might be also valueable for the matrix people.

F'up: comp.lang.ada (For German discussions please use de.comp.lang.misc
                     where the problem occurs upthread)