Re: Safe Units Handling in Ada

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

Fraser <newsfraser@blancolioni.org> writes:

> Ah, the best-laid plans.  The 'or' feature doesn't work, and the logic
> was sloppy.  So here's a new version which fixes that.
> 
> 	http://blancolioni.org/ada/macks/macks-0.0.2-src.tar.gz
> 	http://blancolioni.org/ada/macks/macks-0.0.2-src.zip

Ok, I'll give that a try.

I've done some thinking about how this will integrate with my Robotics
code, and I'll need Cartesian vectors with units. I currently have:

type Cart_Index_Type is (x, y, z);
type Cart_Vector_Type is array (Cart_Index_Type) of Real_Type;

function "*" (Left, Right : in Cart_Vector_Type) return
Cart_Vector_Type;

etc.

Now I'll have to have Meters_Cart_Vector_Type and
Velocity_Cart_Vector_Type, etc, with associated operations. Time will
remain a scalar :).

Any thoughts on extending macks to output that?

I like the origin of "macks"; it warms my physics nerd heart :). Be
sure to put it in the package somewhere.

-- 
-- Stephe