Except the checks in ZZ are at compile time and have no runtime overhead. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		speps on Feb 5, 2020 \| parent \| context \| favorite \| on: ZZ is a modern formally provable dialect of C Except the checks in ZZ are at compile time and have no runtime overhead.

Gene_Parmesan on Feb 5, 2020 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact