Re: The Case for Rust (in any system)

From: Daniel Eischen <eischen_at_vigrid.com>
Date: Fri, 06 Sep 2024 18:25:12 UTC

> On Sep 6, 2024, at 12:01 PM, Poul-Henning Kamp <phk@phk.freebsd.dk> wrote:
> 
> --------
> Daniel Eischen writes:
> 
>> And back in the 80s, Ada was supposed to be the answer for safe coding language.
> 
> And it seems to have done quite well.
> 
> Show me any other language which has developed something like SPARK ?
> 
> I think Ada's problem was that it was a "DoD language" so everything was
> priced 10 times what it should have been, (because why not when you can
> get away with it...)

I am not disagreeing, I still develop in Ada to this day as a DoD contractor, but it is a constant struggle to find new talent that wants to develop in Ada, as well as convincing management that we should still be using Ada because of the former.

38 years as SW engineer, I always tell management, any good SW developer should be able to pick up a high-level language without much problem; it's the "I don't know that, I don't want to learn it" attitude that is the problem.  If we have to start using rust, so be it, I just don't want it to be just another new shiny thing that becomes technical debt in 5 years.

--
DE