In re: #1 that's the kind of discussion I could have all day. (If you take the state of the machine including the filesystem, then almost all non-networked programs could be treated as pure functions, eh?)

#2 so how does that modify your original comment, if at all?

#3 What would you contrast our mainstream so-called "general purpose" languages with?