From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Adacore Blog - Going Beyond Ada 2022
Date: Mon, 14 Jun 2021 17:50:26 -0500 [thread overview]
Message-ID: <sa8mfj$84q$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: sa7bcn$5vn$1@dont-email.me
"John McCabe" <john@nospam.mccabe.org.uk> wrote in message
news:sa7bcn$5vn$1@dont-email.me...
> On Sun, 13 Jun 2021 13:29:44 -0700, Andreas ZEURCHER wrote:
...
> However, this is, basically, a potential risk with the AdaCore RFC
> approach; if they forward the feature to the ARG and the ARG comes back
> with "well, nice, but it would be better if it did this", and AdaCore say
> "but that would be too hard for us now", then what happens?
This is a double-edged sword, of course; if something is hard to implement
(even if better), it might never get adopted at all (look at Algol 68 for a
historical example of a committee ignoring practical considerations).
And this sort of thing has occurred as far back as Ada 9x: various Ada 9x
proposals were withdrawn because of opposition from implementers (especially
DEC, which never actually built an Ada 95 compiler). Perhaps it would have
been better if those proposals had gone forward, but that's hard to say.
It's also possible that those proposals would have prevented construction of
some Ada 95 compilers.
My point is that there needs to be a balance; one should not let one
implementer or one group dictate everything, but one cannot ignore
implementers either. (A correlary to that: the implementers should not
ignore the ARG, either! That happened to some degree with Ada 202x.)
Randy.
prev parent reply other threads:[~2021-06-14 22:50 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-08 13:28 Adacore Blog - Going Beyond Ada 2022 Stephen Davies
2021-06-09 5:11 ` J-P. Rosen
2021-06-09 15:10 ` AdaMagica
2021-06-09 16:33 ` Paul Rubin
2021-06-09 20:53 ` AdaMagica
2021-06-10 11:13 ` Emmanuel Briot
2021-06-13 20:29 ` Andreas ZEURCHER
2021-06-14 10:35 ` John McCabe
2021-06-14 22:50 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox