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 pjmlp on Wednesday February 05, 2020 @09:13AM (#22246802)
While C isn't going to replaced on embedded any moment soon, there are alternatives out there, when the team is open minded.

C++, Pascal, Basic, Java, Ada, Oberon all have mature toolchains available from companies that have been in business for the last couple of decades.

As per several C++ retrospective talks, the focus on C is more social issue than anything else.

[ Parent | on HN ]
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 ]
Re:ZZ is a modern formally provable dialect of C by non-entity on Wednesday February 05, 2020 @10:39AM (#22247667)
Does Oberon have any major commerical usage? I read up on it a while back and thought it was a neat experiment
[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by nickpsecurity on Wednesday February 05, 2020 @11:30AM (#22248328)
It doesn't that I know of. Relevant to the C space, there is an embedded platform for it:

https://astrobe.com/Oberon.htm

[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by pjmlp on Wednesday February 05, 2020 @02:03PM (#22249991)
One should note that this company is in business for around 20 years now, so they get by, even if they aren't SV like rich.
[ Parent | on HN ]