> While Zig has features to do computation at compile time, it lacks features to help make that computation correct.
Huh? Zig will reject comptime overflows/underflows, and you can write suites of inline tests too if you'd like, so whatever you miss at comptime you can constrain using runtime CI-validation at the location of interest.
As written immediately above, "Such features would depend on a more powerful type system than Zig provides." So Zig offers as much help as it can, without.
Huh? Zig will reject comptime overflows/underflows, and you can write suites of inline tests too if you'd like, so whatever you miss at comptime you can constrain using runtime CI-validation at the location of interest.