[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNUism in groff tests, was: pic anomalies
|
From: |
Larry McVoy |
|
Subject: |
Re: GNUism in groff tests, was: pic anomalies |
|
Date: |
Fri, 3 Jan 2020 11:08:08 -0800 |
|
User-agent: |
Mutt/1.5.24 (2015-08-30) |
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.