This has also been identified as something that some people would like to see in Haskell. Basically, an alternative version of Haskell which uses eager evaluati

This has also been identified as something that some people would like to see in Haskell. Basically, an alternative version of Haskell which uses eager evaluation, rather than lazy evaluation. I'd say that the reason behind this is the discovery of what makes Haskell cool. Lazy evaluation seems cool, so you get a language with lazy evaluation and try it out. In such a language, you'd want functional purity, in order to reason about it more easily. Then you discover that functional purity is amazing, and unlocks all sorts of interesting possibilities... but the same is not true of lazy evaluation. It's only logical to want to explore pure functional languages with eager evaluation.