help / color / mirror / Atom feed
From: "G.B." <bauhaus@notmyhomepage.invalid>
Subject: Re: US Government looking into memory safe programming
Date: Mon, 25 Sep 2023 17:55:08 +0200	[thread overview]
Message-ID: <uesagt$208tn$> (raw)
In-Reply-To: <uernvu$1s5eo$>

On 25.09.23 12:38, J-P. Rosen wrote:
> Le 25/09/2023 à 11:59, Stéphane Rivière a écrit :
>>> How long before they relax the requirements
>>> and idiots say "we can use C again, yay!"?
>> By the time they discover Rust ?
> Or when they realize that there is only one rust compiler, and therefore that a single compiler virus could ruin the whole defense system.

Maybe, given the emphasis on tools, verification and best
practices, they might consider sub-languages, or profiles,
of several existing languages.

It's not like memory-safety cannot be made available in
languages other than Rust, I should think? Though, it seems
to me that Rust has so much better market-aware development
strategies than any other language since C, outside Microsoft's
or Apple's areas of sales.

Also, I understand that Linux kernel development is
steered towards Rust and LLVM. So, they have decided
not to go back to the 80s, just pick some good bits
and move on, possibly producing grust or crust while
at it.

In order to pick well from Ada and the concepts embodied in it,
imagine what parts of Ada should be thrown out,
ignoring commercial enterprises living off legacy business?
What changes to Ada are a good fit while aiming
at memory safety, verification support,
or light weight and safe parallel execution?

As you can see in [1], there is a suggestion to make money
available to refactoring efforts.


  reply	other threads:[~2023-09-25 15:55 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-09-24 22:28 US Government looking into memory safe programming ajdude
2023-09-25  7:52 ` Luke A. Guest
2023-09-25  9:59   ` Stéphane Rivière
2023-09-25 10:38     ` J-P. Rosen
2023-09-25 15:55       ` G.B. [this message]
2023-09-25 16:21         ` Luke A. Guest
2023-09-26  6:55       ` Stéphane Rivière
2023-09-26 11:23         ` Kevin Chadwick
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox