Re: Types with physical dimension

[Simtel20 Transfer <HARBAUGH@ROO.FIT.EDU>]

Paul Grham writes:
One can model physical types in Ada by using private types, but this
involves writing a lot of operators.  What do Ada programmers do to guard
against dimensional errors?

Paul
--
Paul Graham     graham@compass-da.com   Compass Design Automation, Inc.

The now renamed ABET (Ada Based Environment for Test) IEEE
standard has an Ada package that defines _many_ physical
types.  If you need pointers let me know.
p.s. It just occurred to e that maybe the SEI sghould
consider putting references to it on their home
page under programming languages.
p.p.s. Its a shame they can't put the entire standard
on-line but it is copyrighted by the IEEE (one of my
favorite gripes is that such standards are not on-line).
Now the IEEE may have changedd  their policy.  If so
will someone please correct me.
hope this helps.
sam harbaugh HARBAUGH@ROO.FIT.EDU