Re:Zig gamedev project – left my job to build games in Zig lang
by kristoff_it on Monday October 18, 2021 @05:17AM
(#28903587)
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.
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.