News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by colonwqbang on Wednesday February 05, 2020 @02:05PM (#22250006)
> As per several C++ retrospective talks, the focus on C is more social issue than anything else.

The social issue may be that many embedded programmers prefer C to C++, for what they believe to be legitimate reasons.

[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by pjmlp on Wednesday February 05, 2020 @02:23PM (#22250138)
Most of which seem more like cargo cult than anything else.
[ Parent | on HN ]