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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cc4f25d878383cc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-10 12:32:58 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!netnews.com!fr.clara.net!heighliner.fr.clara.net!freenix!enst!enst.fr!not-for-mail From: "Robert C. Leif, Ph.D." Newsgroups: comp.lang.ada Subject: RE: Another Idea for Ada 20XX Date: Mon, 10 Dec 2001 12:30:30 -0800 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1008016322 47870 137.194.161.2 (10 Dec 2001 20:32:02 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Mon, 10 Dec 2001 20:32:02 +0000 (UTC) To: Return-Path: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0) In-Reply-To: Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.6 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:17709 Date: 2001-12-10T12:30:30-08:00 From: Bob Leif To: Stephen Leake et al. "Defining _all_ of these required conversion multipliers is the killer for this concept." This is particularly true since they are NOT needed! In fact, the actual combinations of units in physics and chemistry formulas is very large. What has to be done is a check that the exponents of the units are the same for addition-subtraction. Of course the data that is an input, an output, or a check-point must have the exponents of their units being constants. -----Original Message----- From: comp.lang.ada-admin@ada.eu.org [mailto:comp.lang.ada-admin@ada.eu.org]On Behalf Of Stephen Leake Sent: Monday, December 10, 2001 8:22 AM To: comp.lang.ada@ada.eu.org Subject: Re: Another Idea for Ada 20XX "Nick Roberts" writes: > "Larry Kilgallen" wrote in message > news:C1UHcLPG$dZX@eisner.encompasserve.org... > > > > nor to allow 10 minutes * 5 KPH = 833 Meters > > > > Are you saying that multiplying two different types (not subtypes > > of the same type) works in Ada95 ? My experience is mostly Ada83. > > If they are both fixed point types, I think the answer is 'yes', provided > it's in the context of a specific fixed point type (not universal fixed). > E.g.: > > D: Distance := Duration(10*60.0) * KPH(5.0); Umm, surely there must somewhere be defined a "conversion multiplier", and it must be visible: function "*" (left : in duration; right : in KPH) return Distance; otherwise the above statement is not legal, in Ada 83 or 95. Defining _all_ of these required conversion multipliers is the killer for this concept. -- -- Stephe