From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: More reliable compilers (of some programming langauges) than GNAT
Date: Tue, 21 Nov 2017 19:40:33 -0600
Date: 2017-11-21T19:40:33-06:00 [thread overview]
Message-ID: <ov2kii$j5t$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: ov2jma$itv$1@franka.jacob-sparre.dk
I said:
...
> Perhaps it isn't obvious to a non-native English speaker, but "quality
> free compiler" reads as "a compiler free of any quality" (or "a compiler
> without any quality"). As Christoph joked, it isn't the least bit hard to
> find any such compiler (although I would argue that that doesn't apply to
> any Ada compilers, you'd probably have to look at C or some other language
> for such a compiler :-).
BTW, one reason for this is that there is a freely available independent
test suite for Ada (the ACATS), so it is highly unlikely to see an Ada
compiler that can't process some basic construct. So far as I'm aware, all
Ada vendors use the ACATS as part of their standard QA, so basic bugs do not
get into circulation. Most other languages do not have such a test suite, so
both the commonality and the correctness of implementations is much more
dependent on the vendor.
Randy.
next prev parent reply other threads:[~2017-11-22 1:40 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-21 15:07 More reliable compilers (of some programming langauges) than GNAT Victor Porton
2017-11-21 15:27 ` AdaMagica
2017-11-21 15:40 ` Victor Porton
2017-11-21 16:07 ` AdaMagica
2017-11-22 1:25 ` Randy Brukardt
2017-11-22 1:40 ` Randy Brukardt [this message]
2017-11-22 13:12 ` Victor Porton
2017-11-22 14:15 ` Simon Wright
2017-11-23 0:35 ` Randy Brukardt
2017-11-23 8:22 ` Dmitry A. Kazakov
2017-11-23 16:14 ` Pascal Obry
2017-11-23 17:00 ` Dmitry A. Kazakov
2017-11-28 1:09 ` Randy Brukardt
2017-11-28 9:24 ` Dmitry A. Kazakov
2017-11-22 1:19 ` Randy Brukardt
2017-11-22 2:23 ` Paul Rubin
2017-11-22 18:29 ` J-P. Rosen
2017-11-23 2:15 ` Robert Eachus
2017-11-23 3:40 ` Paul Rubin
2017-11-23 8:27 ` Dmitry A. Kazakov
2017-11-21 16:13 ` AdaMagica
2017-11-21 16:17 ` Victor Porton
2017-11-21 17:26 ` Dmitry A. Kazakov
2017-11-23 15:14 ` Robin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox