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: Adacore joins with Ferrous Systems to support Rust
Date: Wed, 02 Feb 2022 00:57:33 -0800
Organization: A noiseless patient Spider
Message-ID: <87o83pzlvm.fsf@nightsong.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="5f0bf89a421cda437056c5888eb4a38d";
	logging-data="31053"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/jYeh2MK8P7P06A6vKcYiG"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:BD2wl/dc+4Xv4AHkSqfAjVBru9Q=
	sha1:IXQtT5MK6tI6uTHWqjOq2+w0IYc=
Xref: reader02.eternal-september.org comp.lang.ada:63436
List-Id: <comp.lang.ada>

https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust

Ferrous Systems is apparently a Rust support company based in Germany.
>From the linked page:

    "Ferrous Systems and AdaCore are announcing today that they’re
    joining forces to develop Ferrocene - a safety-qualified Rust
    toolchain, which is aimed at supporting the needs of various
    regulated markets, such as automotive, avionics, space, and
    railway."

No mention about whether there will be any type of FOSS or community
release.  No word on whether the compiler and/or toolchain will be based
on the existing stuff, or something new.  Wonder how they will
safety-certify anything in Rust when the language itself doesn't even
have a formal spec.  But, it is an interesting development.

Is the writing on the wall for Ada?