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=E2=80=AFPM, Poul-Henning Kamp <phk@phk.freebsd.dk= > wrote: >=20 > =EF=BB=BF-------- > Daniel Eischen writes: >=20 >> And back in the 80s, Ada was supposed to be the answer for safe coding la= nguage. >=20 > And it seems to have done quite well. >=20 > Show me any other language which has developed something like SPARK ? >=20 > 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 A= da, as well as convincing management that we should still be using Ada becau= se of the former. 38 years as SW engineer, I always tell management, any good SW developer sho= uld 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. I= f we have to start using rust, so be it, I just don't want it to be just ano= ther 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>