Comment by jcora

It's the other way around. State (and side effects) are explicit in pure programs, and implicit in impure programs.