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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.36.208.215 with SMTP id m206mr2394458itg.37.1508231180029; Tue, 17 Oct 2017 02:06:20 -0700 (PDT) X-Received: by 10.157.41.135 with SMTP id n7mr482792otb.5.1508231179998; Tue, 17 Oct 2017 02:06:19 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feed.usenet.farm!feeder3.usenet.farm!feeder-out2.eu1.usenetexpress.com!feeder.usenetexpress.com!feeder-in1.eu1.usenetexpress.com!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!newspeer1.nac.net!border2.nntp.dca1.giganews.com!nntp.giganews.com!k70no284262itk.0!news-out.google.com!u132ni264ita.0!nntp.google.com!k70no284259itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 17 Oct 2017 02:06:19 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=85.167.238.77; posting-account=bPTmZAoAAAC_6HP9XLKB9aAAxBa6BuOR NNTP-Posting-Host: 85.167.238.77 References: <08b898a2-168e-4740-9c6e-8f2d9abf7093@googlegroups.com> <3aebc413-4284-41f4-a31c-45091a31d2b3@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <73fc1d87-09fc-49fb-be48-121969a9cecd@googlegroups.com> Subject: Re: How to make tasks to run in parallel From: reinert Injection-Date: Tue, 17 Oct 2017 09:06:20 +0000 Content-Type: text/plain; charset="UTF-8" Xref: news.eternal-september.org comp.lang.ada:48492 Date: 2017-10-17T02:06:19-07:00 List-Id: On Tuesday, October 17, 2017 at 9:47:11 AM UTC+2, Dmitry A. Kazakov wrote: > On 17/10/2017 09:32, reinert wrote: > > > It sometimes use: > > "type Real is Digits 18;" > > > > I see the point (sometimes) using "substype" here. But I also like to > > avoid to add meter and seconds :-) I.e. to be "clean" with respect > > to dimensions/units. > > GNAT has a non-standard dimension aspect which does that. > > But that is a wrong approach. Dimension cannot be made a part of the > type. Because that would preclude major use cases where dimensioned > values are actually used. Dimension should be subtype constraint. > > -- > Regards, > Dmitry A. Kazakov > http://www.dmitry-kazakov.de I may have learned several thing before the evening :-) My current understanding of Ada is mainly from John Barnes, "Programming in Ada 2012". On page 243 he introduces new (derived) types for number of apples and oranges, so one can write: No_Of_Apples := No_Of_Apples + 1; No_Of_Oranges := No_Of_Oranges + 1; But one cannot write: No_Of_Apples := No_Of_Oranges + 1; -- error Using derived types here seems "clean" to me and contributing to avoid future errors. reinert