From: Matt Borchers <mattborchers@gmail.com>
Subject: Re: array from static predicate on enumerated type
Date: Thu, 18 Mar 2021 17:34:56 -0700 (PDT) [thread overview]
Message-ID: <00c75105-f1a9-4dba-bbe9-65470bff2b4an@googlegroups.com> (raw)
In-Reply-To: <ibgni2Fs6lbU1@mid.individual.net>
Niklas,
Don't get me wrong, I love Ada and use extensively. The ease in which a programmer can quickly get from a modestly complex problem to a correct program when using Ada is great. Like many have said, Ada requires you to have a program design in your head before writing the program. The Static_Predicate thing was certainly a surprise to me. One now has to decide early on in design if they'd rather have a convenient way to do member tests with 'in' or do they require the use of 'Pos, 'First, etc. Sorry, not both. Pretty useless IMO. I still haven't heard or read of a good reason to decide to not implement any kind of usability for the constraint attributes. I wish I had the transcript from the Ada Group's discussions on this topic. It must have been a good one. Do they keep transcripts of their discussions? If so, does anybody know where to find them?
Regards,
Matt
On Thursday, March 18, 2021 at 6:15:34 AM UTC-4, Niklas Holsti wrote:
> To be sure, Ada is showing some of its age. Updates of the Ada standards
> have made extensive additions to the language, while taking great pains
> to remain mostly upwards compatible, not only in syntax and semantics
> but also in wider usability goals such as remaining competitive for
> hard-real-time embedded systems and safety-critical systems where
> implementation overheads and implementation complexity must be held
> down. This inevitably means that new high-level features such as static
> predicates cannot always be fully orthogonal to other features of the
> language.
next prev parent reply other threads:[~2021-03-19 0:34 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-12 20:49 array from static predicate on enumerated type Matt Borchers
2021-03-12 21:22 ` Egil H H
2021-03-12 22:16 ` Jeffrey R. Carter
2021-03-12 22:41 ` Dmitry A. Kazakov
2021-03-13 2:06 ` Matt Borchers
2021-03-13 4:55 ` Randy Brukardt
2021-03-15 14:16 ` Matt Borchers
2021-03-15 17:53 ` Shark8
2021-03-16 6:58 ` Randy Brukardt
2021-03-13 8:04 ` Dmitry A. Kazakov
2021-03-15 14:11 ` Matt Borchers
2021-03-15 17:48 ` Shark8
2021-03-15 20:25 ` Dmitry A. Kazakov
2021-03-16 13:27 ` Shark8
2021-03-16 14:25 ` Dmitry A. Kazakov
2021-03-17 4:05 ` Matt Borchers
2021-03-17 7:08 ` Dmitry A. Kazakov
2021-03-17 18:44 ` Matt Borchers
2021-03-17 19:41 ` Dmitry A. Kazakov
2021-03-18 1:30 ` Matt Borchers
2021-03-18 8:20 ` Dmitry A. Kazakov
2021-03-19 0:10 ` Matt Borchers
2021-03-19 8:00 ` Dmitry A. Kazakov
2021-03-18 10:15 ` Niklas Holsti
2021-03-18 10:47 ` AdaMagica
2021-03-18 11:26 ` Dmitry A. Kazakov
2021-03-19 0:34 ` Matt Borchers [this message]
2021-03-19 0:49 ` Jeffrey R. Carter
2021-03-23 1:07 ` Matt Borchers
2021-03-23 3:43 ` Randy Brukardt
2021-03-22 19:09 ` Niklas Holsti
2021-03-17 15:08 ` Shark8
2021-03-17 19:08 ` Matt Borchers
2021-03-17 20:41 ` Shark8
2021-03-18 1:04 ` Matt Borchers
2021-03-18 14:25 ` Shark8
2021-03-18 23:36 ` Matt Borchers
2022-03-16 0:38 ` Thomas
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox