3 ms·
I mentioned a few in this thread on top of Cyclone already referenced: https://news.ycombinator.com/item?id=13266736 https://news.ycombinator.com/item?id=13266
by nickpsecurity 10y ago
I mentioned a few in this thread on top of Cyclone already referenced:
https://news.ycombinator.com/item?id=13266736 https://news.ycombinator.com/item?id=13266736
Note that, while C developers ignored Cyclone, Rust built on its safety techniques. It's not that people aren't making the safe C's. It's that C developers at large don't care about them. So few write them. Then they die.
More work in CompSci, industry, and FOSS is therefore going into static analysis or automatic transformations of C into safe code.
EDIT: You might also like a version of Modula-2 with C-like syntax. It was a language for OS writing small like C but with modules & safe-by-default features.
http://modula-2.info/m2r10/pmwiki.php/Spec/DesignPrinciples http://modula-2.info/m2r10/pmwiki.php/Spec/DesignPrinciples