Re: The Case for Rust (in any system)

Reply: Domagoj Stolfa : "Re: The Case for Rust (in any system)"
Reply: Daniel Eischen : "Re: The Case for Rust (in any system)"
In reply to: Daniel Eischen : "Re: The Case for Rust (in any system)"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Poul-Henning Kamp <phk_at_phk.freebsd.dk>
Date: Fri, 06 Sep 2024 16:00:30 UTC

--------
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.