News for hackers. Stuff that matters.

A comment on Why Zig when there is already C++, D, and Rust?. Parent comment

Re:Why Zig when there is already C++, D, and Rust? by MaxBarraclough on Saturday January 16, 2021 @06:29AM (#25801603)
It's also possible to formally verify C++, [0][1] but this isn't commonly done. I imagine it's very labour intensive.

[0] https://www.eschertech.com/products/ecv.php

[1] https://trust-in-soft.com/

[ Parent | on HN ]

There are no comments on this comment yet.