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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Wed, 09 May 2018 21:08:44 -0700
Organization: A noiseless patient Spider
Message-ID: <87bmdo40fn.fsf@nightsong.com>
References: <1c73f159-eae4-4ae7-a348-03964b007197@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>
	<aade1e64-ff09-43a9-ba5b-a79c6b56db21@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="8ee8a87c586ad688bbbd7b3afaf6ee4e";
	logging-data="774"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19gxQo/aaUhsP/q8aGrKgEK"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:Qj+BMtKBtmeRqMRIk/ngPJLGxc8=
	sha1:zS+EAytBMtw95aKs4HCjKCIJhrk=
Xref: reader02.eternal-september.org comp.lang.ada:52190
Date: 2018-05-09T21:08:44-07:00
List-Id: <comp.lang.ada>

Shark8 <onewingedshark@gmail.com> writes:
> You'll probably want to read this:
> http://sworthodoxy.blogspot.com/2017/03/comparing-ada-and-high-integrity-c.html

Thanks, that is a helpful document.  It seems to me that Ada is safer
than C++ but C++ has more convenient ways to do some things.  I enjoy
using C++ and can write programs in it that seem to work, which is good
enough for some purposes, but I have trouble trusting it for anything
important.  That's why I got interested in Ada.

You've probably seen this: http://yosefk.com/c++fqa/