>Just like with allocation, passing an IO argument makes it clear which programs are pure and which ones are not. You can tell at a glace whether or not a program is going to modify something external.

Pure programs are completely useless. If under “programs” article assumes functions, in that case this statement is not correct. In Zig you can still mutate variables outside of the function body(side effects) and IO interface doesn’t track it.