It fulfills the same role as C and C++'s void type. I don't think most systems programmers care about type theorist bikeshedding about purity with formal theory.

A ton of people coming to Zig are going to be coming from C and C++. void is fine.