From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Adacore joins with Ferrous Systems to support Rust
Date: Wed, 02 Feb 2022 12:06:16 -0800
Organization: A noiseless patient Spider
Message-ID: <87bkzpyqx3.fsf@nightsong.com>
References: <87o83pzlvm.fsf@nightsong.com> <stdvgv$76k$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="5f0bf89a421cda437056c5888eb4a38d";
	logging-data="27424"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+O36197eqRJKXtfPQTOZSP"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:RqGN/V22cFGaLoLI6A37zhAOAP0=
	sha1:Lm9fMqmaY3JxlGvzB7LnWICbYVA=
Xref: reader02.eternal-september.org comp.lang.ada:63446
List-Id: <comp.lang.ada>

"Luke A. Guest" <laguest@archeia.com> writes:
> I see this going one way, Ada loses out as the Rust side uses AdaCore
> to get what they want.

I don't think this is two companies merging.  It's two companies working
jointly on a particular product.  Idk any more than the press release
though.

Regarding Rust vs Ada, I've never heard anything from anyone who is a
real expert at both.  Superficially it looks to me like Rust's type
system really is more precise than Ada's in general, although it doesn't
have integer range types.  In other stuff like modules, Ada is probably
still ahead.