comp.lang.ada
 help / color / mirror / Atom feed
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. 

  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