From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,791ecb084fdaba75 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-09-28 11:03:19 PST Path: bga.com!news.sprintlink.net!howland.reston.ans.net!paladin.american.edu!auvm!ROO.FIT.EDU!HARBAUGH Comments: Gated by NETNEWS@AUVM.AMERICAN.EDU Newsgroups: comp.lang.ada Message-ID: Date: Wed, 28 Sep 1994 06:55:00 EDT Sender: Ada programming language Comments: W: Incorrect or incomplete address field found and ignored. From: Simtel20 Transfer Subject: Re: Types with physical dimension Comments: To: INFO-ADA@VM1.NoDak.EDU Date: 1994-09-28T06:55:00-04:00 List-Id: 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