On Fri, Jan 03, 2020 at 01:21:47PM -0500, Mike Bianchi wrote: > On Fri, Jan 03, 2020 at 12:45:22PM -0500, Doug McIlroy wrote: > > > C is one of the worst possible foundation languages conceivable for > > > automated formal verification > > > > Yet the Mars rovers run on a wholly checked code base written > > in C, ... > > I sometimes think that C would be greatly improved if it just added: > Strings as first-class objects > (instead of a collection of array side effects) > Hardened memory management > Hardened pointer management
yep, agreed. I'd throw in some stuff I did in http://little-lang.org which was really sort of a prototype for what I wanted C to evolve to.
