Re: The Case for Rust (in any system)

From: Poul-Henning Kamp <phk_at_phk.freebsd.dk>
Date: Fri, 06 Sep 2024 20:51:44 UTC
--------
Konstantin Belousov writes:

> > And back in the 80s, Ada was supposed to be the answer for safe coding language.
>
> Isn't SPARK license non-FOSS and requires payments?

I have no idea.

My association with Ada is retrocomputing:

	https://datamuseum.dk/wiki/Rational/R1000s400

	

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