I'm reminded of a vaguely relevant 'pro-purity' quote from Simon Peyton Jones et al, discussing Haskell, on the virtue of its purity as a functional language:

I'm reminded of a vaguely relevant 'pro-purity' quote from Simon Peyton Jones et al, discussing Haskell, on the virtue of its purity as a functional language: > In retrospect, therefore, perhaps the biggest single benefit of laziness is not laziness per se, but rather that laziness kept us pure, and thereby motivated a great deal of productive work on monads and encapsulated state. [PDF] https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/... See also https://stackoverflow.com/a/31478674/ https://stackoverflow.com/a/31478674/