From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:ce9:: with SMTP id
 102-v6mr27022183iom.134.1525924048611;
        Wed, 09 May 2018 20:47:28 -0700 (PDT)
X-Received: by 2002:a9d:70d1:: with SMTP id
 w17-v6mr2605750otj.5.1525924048417;
 Wed, 09 May 2018 20:47:28 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!v8-v6no70851itc.0!news-out.google.com!f20-v6ni23itd.0!nntp.google.com!v8-v6no70850itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 9 May 2018 20:47:28 -0700 (PDT)
In-Reply-To: <87mux84a0m.fsf@nightsong.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 76.113.16.86
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <87wowqpowu.fsf@nightsong.com>
 <16406268-83df-4564-8855-9bd0fe9caac0@googlegroups.com>
 <87o9i2pkcr.fsf@nightsong.com> <pc8l7e$km5$1@franka.jacob-sparre.dk>
 <87in88m43h.fsf@nightsong.com>
 <cd866ee8-ad4d-489e-a38b-d8e5f5d4af00@googlegroups.com>
 <87efiuope8.fsf@nightsong.com>
 <322f9b26-01de-4753-bb50-6ef2f3d993d8@googlegroups.com>
 <87a7th9pd1.fsf@nightsong.com>
 <bbda04b9-0f91-47c5-9193-279b667f503c@googlegroups.com>
 <87h8no1nli.fsf@nightsong.com> <pcg2cc$h52$1@franka.jacob-sparre.dk>
 <874ljo1hvy.fsf@nightsong.com> <pcg6u7$hjr$1@franka.jacob-sparre.dk>
 <87vac4z2lh.fsf@nightsong.com> <pcimtl$2o5$1@franka.jacob-sparre.dk>
 <87lgcszjdn.fsf@nightsong.com> <pcvua5$cje$1@franka.jacob-sparre.dk>
 <87r2mk4d6w.fsf@nightsong.com>
 <1755072199.547602595.806475.laguest-archeia.com@nntp.aioe.org>
 <87mux84a0m.fsf@nightsong.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <aade1e64-ff09-43a9-ba5b-a79c6b56db21@googlegroups.com>
Subject: Re: How to get Ada to ?cross the chasm??
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Thu, 10 May 2018 03:47:28 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:52189
Date: 2018-05-09T20:47:28-07:00
List-Id: <comp.lang.ada>

On Wednesday, May 9, 2018 at 6:41:50 PM UTC-6, Paul Rubin wrote:
> Luke A. Guest writes:
> > I would say Ada=E2=80=99s a much higher level language than C++. I=E2=
=80=99ve no idea what
> > you mean by "automation level.=E2=80=9D
>=20
> I wanted to avoid the flame war about HLL vs LLL and just compare how
> much language does for the user automatically.  I think C++ is higher
> level than C in that regard.  It seems to me that Ada is somewhere
> between the two, but I could go for it being equal to C++.  I'd be
> interested to hear the case that Ada (by itself) is goes further than
> C++.  Ada with SPARK could be seen as different.

Ah!
You'll probably want to read this: http://sworthodoxy.blogspot.com/2017/03/=
comparing-ada-and-high-integrity-c.html

The TLDR conclusion is stated in the first paragraph: "I have often suspect=
ed that use of a safety critical or high integrity coding standard for C++ =
would yield a level of safety and software reliability approximately equiva=
lent to using Ada with no restrictions. [...] I was mostly correct in my su=
spicions."