From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Adacore joins with Ferrous Systems to support Rust
Date: Wed, 02 Feb 2022 08:19:37 -0800 [thread overview]
Message-ID: <86tudhs0km.fsf@stephe-leake.org> (raw)
In-Reply-To: 87o83pzlvm.fsf@nightsong.com
Paul Rubin <no.email@nospam.invalid> writes:
> 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?
Yes. And it says:
As long as people care about quality software engineering, they will
use Ada.
:)
--
-- Stephe
next prev parent reply other threads:[~2022-02-02 16:19 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-02-02 8:57 Adacore joins with Ferrous Systems to support Rust Paul Rubin
2022-02-02 13:04 ` Luke A. Guest
2022-02-02 15:29 ` Marius Amado-Alves
2022-02-02 16:36 ` Luke A. Guest
2022-02-04 17:51 ` Stephen Leake
2022-04-18 16:01 ` Rene
2022-02-02 20:07 ` G.B.
2022-02-03 23:29 ` John McCabe
2022-02-11 17:40 ` amo...@unizar.es
2022-02-11 19:24 ` Luke A. Guest
2022-02-12 17:34 ` Alejandro R. Mosteo
2022-02-12 5:22 ` John Perry
2022-02-12 10:08 ` Marius Amado-Alves
2022-02-12 18:24 ` Alejandro R. Mosteo
2022-02-13 8:10 ` J-P. Rosen
2022-02-14 23:25 ` Randy Brukardt
2022-02-15 4:29 ` Paul Rubin
2022-02-12 23:59 ` John Perry
2022-02-18 13:24 ` Kevin Chadwick
2022-02-02 20:06 ` Paul Rubin
2022-02-03 1:34 ` Luke A. Guest
2022-02-03 2:20 ` Paul Rubin
2022-02-03 2:52 ` Luke A. Guest
2022-02-03 4:22 ` Paul Rubin
2022-02-03 9:54 ` Björn Lundin
2022-02-04 3:38 ` Randy Brukardt
2022-02-04 5:19 ` Paul Rubin
2022-02-03 11:30 ` Simon Wright
2022-02-03 12:51 ` Luke A. Guest
2022-02-04 3:20 ` Randy Brukardt
2022-02-04 10:28 ` Luke A. Guest
2022-02-04 17:51 ` Andreas ZEURCHER
2022-02-05 4:31 ` Randy Brukardt
2022-02-02 16:19 ` Stephen Leake [this message]
2022-02-02 18:48 ` Gautier write-only address
2022-02-02 20:03 ` Paul Rubin
2022-02-02 20:45 ` Dennis Lee Bieber
2022-02-12 4:42 ` 25.BZ943
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox