> allowing procedural/local mutation, but making the procedures themselves 'pure' and taking care to control side effects on the program scale? This is what Ha

> allowing procedural/local mutation, but making the procedures themselves 'pure' and taking care to control side effects on the program scale? This is what Haskell does by encouraging you to bundle the part of your code that does mutation into, for example, a state monad, and pass the result of the monadic computation to other pure functions.