comp.lang.ada
 help / color / mirror / Atom feed
From: "Dan'l Miller" <optikos@verizon.net>
Subject: Re: meaningfully/compellingly "advertising" Ada on StackOverflow
Date: Thu, 17 May 2018 19:28:49 -0700 (PDT)
Date: 2018-05-17T19:28:49-07:00	[thread overview]
Message-ID: <8a90d70a-c137-4540-9428-1e200a99b650@googlegroups.com> (raw)
In-Reply-To: <87fu2psqpj.fsf@nightsong.com>

On Thursday, May 17, 2018 at 8:22:17 PM UTC-5, Paul Rubin wrote:
> Luke A. Guest writes:
> > The aim is to see how languages stack up. By using the standard
> > containers with their anti-tampering and other checks, you would be
> > hobbling Ada in this case.
> 
> Ummph, the anti-tampering and other checks are part of Ada's safety
> which is its main compelling feature.  If you turn them off then Ada no
> longer brings any benefit compared with unsafe languages.

Yes, I was thinking the same thing, up to a point.  Perhaps the maintainer of that repository can be persuaded that Ada deserves 2 rows for 2 different implementation tracks:
1) one design with full-fledged safety
and
2) one design with no-holds-barred anything-goes-that's-legal unchecked_*-features-galore pursuant to speed-of-execution.

It would be interesting not only comparing those 2 rows to other corresponding safe or unsafe languages, but also to each other:  Ada-purist versus Ada-ecumenical.  He seems to be emphasizing some definition of “naïve” though.  One or the other of these dual tracks for Ada might fly in the face of his definition of “naïve”.


  reply	other threads:[~2018-05-18  2:28 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-05-16 14:27 meaningfully/compellingly “advertising” Ada on StackOverflow Dan'l Miller
2018-05-16 14:35 ` Lucretia
2018-05-16 15:06   ` Dan'l Miller
2018-05-16 22:48     ` Mehdi Saada
2018-05-17  2:46 ` John Perry
2018-05-17  2:49   ` John Perry
2018-05-17 21:25     ` meaningfully/compellingly "advertising" " Randy Brukardt
2018-05-17 23:27       ` Luke A. Guest
2018-05-18  1:22         ` Paul Rubin
2018-05-18  2:28           ` Dan'l Miller [this message]
2018-05-18  2:59             ` Lucretia
2018-05-18  2:57           ` Lucretia
2018-05-18  4:25             ` John Perry
2018-05-18  4:38               ` Paul Rubin
2018-05-18 15:39                 ` John Perry
2018-05-18 15:48                   ` John Perry
2018-05-18 20:49                     ` Randy Brukardt
2018-05-18 20:47                   ` Randy Brukardt
2018-05-18  4:37             ` Paul Rubin
2018-05-18 10:44               ` Lucretia
2018-05-20  7:54                 ` Paul Rubin
2018-05-18 11:17               ` Ben Bacarisse
2018-05-18 20:42         ` Randy Brukardt
2018-05-18  4:22       ` John Perry
2018-05-18 20:52         ` Randy Brukardt
2018-05-18 11:10       ` Simon Wright
2018-05-18 15:43 ` meaningfully/compellingly “advertising” " John Perry
2018-05-18 16:40   ` Dan'l Miller
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox