Date: Fri, 06 Sep 2024 16:00:30 +0000 From: "Poul-Henning Kamp" <phk@phk.freebsd.dk> To: Daniel Eischen <eischen@vigrid.com> 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: <202409061600.486G0UrR046040@critter.freebsd.dk> In-Reply-To: <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com> References: <202409060836.4868agnQ042462@critter.freebsd.dk> <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com>
next in thread | previous in thread | raw e-mail | index | archive | help
-------- 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...) -- Poul-Henning Kamp | UNIX since Zilog Zeus 3.20 phk@FreeBSD.ORG | TCP/IP since RFC 956 FreeBSD committer | BSD since 4.3-tahoe Never attribute to malice what can adequately be explained by incompetence.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202409061600.486G0UrR046040>