Date: Fri, 6 Sep 2024 14:25:12 -0400 From: Daniel Eischen <eischen@vigrid.com> To: Poul-Henning Kamp <phk@phk.freebsd.dk> Cc: Antranig Vartanian <antranigv@freebsd.am>, Alan Somers <asomers@freebsd.org>, FreeBSD Hackers <freebsd-hackers@freebsd.org> Subject: Re: The Case for Rust (in any system) Message-ID: <B9D02B8C-CF09-4EAD-BC41-F9591C5EACF9@vigrid.com> In-Reply-To: <202409061600.486G0UrR046040@critter.freebsd.dk> References: <202409061600.486G0UrR046040@critter.freebsd.dk>
next in thread | previous in thread | raw e-mail | index | archive | help
> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?B9D02B8C-CF09-4EAD-BC41-F9591C5EACF9>