3 ms·
You could build the same argument for all other types of correctness: either your program is formally validated to be correct, or it's broken. While there is s
by kristoff_it 5y ago
You could build the same argument for all other types of correctness: either your program is formally validated to be correct, or it's broken.
While there is some truth to that, if that's the only analysis you're willing to do, then you're going to fail spectacularly hard at recognizing the advantages of TypeScript over JS, for example. Zig and C share a similar relationship across many axes, including memory safety.