Re:The C juggernaut illustrated (2012)
by eggy on Saturday February 04, 2023 @11:07PM
(#34661741)
I agree, but I think you should then look at SPARK2014 [1]. Rust just has better marketing and a bigger company behind it, but SPARK2014 is simpler and has been delivering Rust's bullet list for almost 10 years.
[1] https://www.adacore.com/about-spark