I think this is the wrong approach to understand purely functional languages. They don't try to get rid of mutability / side effects, just to isolate them. Se

I think this is the wrong approach to understand purely functional languages. They don't try to get rid of mutability / side effects, just to isolate them. See [1] where the author thinks that "In short, Haskell is the world’s finest imperative programming language". [1] https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fmarktoberdorf%2Fmark.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...