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: C++ vs. Ada: Which language is more strongly typed?
Date: Sun, 03 Jun 2018 16:46:53 -0700
Organization: A noiseless patient Spider
Message-ID: <87vaaz1lhu.fsf@nightsong.com>
References: <pes42m$v13$4@dont-email.me>
	<09ddd19e-bddd-45a2-84f0-0145f85d95cd@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="a5e37e92cc6ba2ae0ff16131373d5c43";
	logging-data="22284"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18qghgiO+cVN4EHC4CiZjBe"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:OgAE6TxzpDRdiVHuzIlAhgiioxw=
	sha1:jtBRXyTORcxpsMLaVsnFMJQpH48=
Xref: reader02.eternal-september.org comp.lang.ada:52894
Date: 2018-06-03T16:46:53-07:00
List-Id: <comp.lang.ada>

Lucretia <laguest9000@googlemail.com> writes:
>> http://shape-of-code.coding-guidelines.com/2014/04/17/c-vs-ada-which-language-is-more-strongly-typed/
>
> You've actually posted something useful.

Bah, that article was useless imho.  It says C++ is less strongly typed
than Ada in some regards but that you can do some type parametrization
using templates, in ways unsupported or not usually done in Ada.  I had
thought Ada generics supported that to some extent, but maybe I'm wrong.
The article doesn't discuss the issue.

I think everyone knows C++ is a hot mess either way, so comparisons on
these narrow issues aren't very useful.