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=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,1dd28d5040ded1f8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-14 12:11:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!news.gtei.net!newscon02.news.prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr14.news.prodigy.com.POSTED!3bae8248!not-for-mail From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: Announce: Grace project site operational References: X-Newsreader: Tom's custom newsreader Message-ID: NNTP-Posting-Host: 67.115.104.217 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr14.news.prodigy.com 1021403413 ST000 67.115.104.217 (Tue, 14 May 2002 15:10:13 EDT) NNTP-Posting-Date: Tue, 14 May 2002 15:10:13 EDT Organization: Prodigy Internet http://www.prodigy.com X-UserInfo1: [[PGGTSDZRRQBQH]]RKB_UDAZZ\DPCPDLXUNNHPHBATBTSUBYFWEAE[YJLYPIWKHTFCMZKVMB^[Z^DOBRVVMOSPFHNSYXVDIE@X\BUC@GTSX@DL^GKFFHQCCE\G[JJBMYDYIJCZM@AY]GNGPJD]YNNW\GSX^GSCKHA[]@CCB\[@LATPD\L@J\\PF]VR[QPJN Date: Tue, 14 May 2002 19:10:13 GMT Xref: archiver1.google.com comp.lang.ada:24052 Date: 2002-05-14T19:10:13+00:00 List-Id: > > Constant = (C1*C2)/(C3^0.5) = mol�/mol^0.5 = mol^(3/2) > > oops forgot to say that Constant is alway unitless as one divides by the You would certainly still be able to do explicit type conversions in the normal way for cases where "dimension ..." doesn't work. I would imagine an implementation where "type t ... dimension a * b" would create a data structure (a_power=>1, b_power=>1, others=>0) so a real type without a "dimension" part would be (others=>0) implicitly. As to fractional powers, how common are arbitrary fractions? Would it be reasonable to do: type root_mol is ... type mol is ... dimension root_mol * root_mol; > CO2 (g) = CO2 (aq) > > Constant = atm/(mol/l) As a former math major who thought chemists mathematical barbarians, I confess ignorance of what you mean here. ;)