|
|
|
|
|
|
by kristoff_it
1703 days 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. |
|
|