It's kind of not. One way to think of it is roughly as follows: Zig is statically typed at runtime. It's dynamically typed at compile time. Anyways it's not

It's kind of not. One way to think of it is roughly as follows: Zig is statically typed at runtime. It's dynamically typed at compile time. Anyways it's not entirely crazy to think that maybe this sort of thing should be the province of static linters