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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Received: by 2002:a0c:c548:: with SMTP id y8mr7064970qvi.68.1567803694229; Fri, 06 Sep 2019 14:01:34 -0700 (PDT) X-Received: by 2002:aca:7250:: with SMTP id p77mr8934393oic.157.1567803693912; Fri, 06 Sep 2019 14:01:33 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.dns-netz.com!news.freedyn.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o24no6257585qtl.0!news-out.google.com!d29ni892qtg.1!nntp.google.com!o24no6257575qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 6 Sep 2019 14:01:33 -0700 (PDT) In-Reply-To: <0a28373e-01de-48de-a580-48ade82b39ff@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=146.5.2.29; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 146.5.2.29 References: <9381f30a-a957-4477-b037-b2d60041e83e@googlegroups.com> <958842a4-c5b3-4beb-a261-ed8b9d10b47c@googlegroups.com> <0a28373e-01de-48de-a580-48ade82b39ff@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9b013bec-dd73-4881-abdc-be61f227f7f9@googlegroups.com> Subject: Re: SI Units Checked and Unchecked From: Shark8 Injection-Date: Fri, 06 Sep 2019 21:01:34 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2989 X-Received-Body-CRC: 721968787 Xref: reader01.eternal-september.org comp.lang.ada:57113 Date: 2019-09-06T14:01:33-07:00 List-Id: On Wednesday, September 4, 2019 at 11:11:16 AM UTC-6, AdaMagica wrote: > Am Mittwoch, 4. September 2019 16:20:04 UTC+2 schrieb Shark8: > > ... the site appears to be down. >=20 > As I have been in retirement for 8 years now, I've closed my homepage. Th= e few things I deemed to be worth to preserve have been put by courtesy of = Randy at this place: >=20 > https://www.adaic.org/ada-resources/tools-libraries/ >=20 > (see Christoph Grein=E2=80=99s Essentials). >=20 > Ths SI units package you are looking for (linked from the URL above) is h= ere: >=20 > http://archive.adaic.com/tools/CKWG/Dimension/SI.html >=20 > My Ada Magica column is here (F=C3=B6rderverein Ada Deutschland): >=20 > https://www.ada-deutschland.de/sites/default/files/AdaTourCD/AdaTourCD200= 4/Ada%20Magica/Contents.html Thank you for the links, as well as the work on the SI units. Browsing around, it looks like a lot of the library can be made Pure, with = the exception of the irritating provision/prohibition of "statically compos= ed compound constants" that appeared in the "Why can't objects be static in= Ada?" thread: https://groups.google.com/forum/#!msg/comp.lang.ada/8dMIIAOV= 7YQ/sscqy-tlCQAJ =E2=80=94 I think your SI-Units library is an extremely go= od motivating example of *WHY* this needs to be changed, and will push for = this change in the upcoming meeting of the ARG. (Indeed, changing this limi= tation is orders of magnitude more useful than adding square-brackets.) BTW Are there any tips, in particular for using the library?