I’d argue that’s the only thing it can mean. The rest is just a question of how much impurity you are willing to tolerate. If you want to actually have a program do anything, none is not an option. The rest is a sliding scale, where there are benefits and disadvantages.
Well, you could implement the
run method of an
IOApp and pretend you have no impurity at all.
Pretend is the operative word there.
Sure, you could argue about that. But I’m not the one who’s going to be arguing either way