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 speps on Wednesday February 05, 2020 @07:48AM (#22246275)
Except the checks in ZZ are at compile time and have no runtime overhead.
[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by Gene_Parmesan on Wednesday February 05, 2020 @03:39PM (#22250755)
Right, but the question was about which language was more complicated (with the implication being, complicated to write). In that sense I think my GP comment is probably correct.
[ Parent | on HN ]