[Haskell-cafe] Robert Harper on monads and laziness
2haskell at pkturner.org
Mon May 2 11:32:55 CEST 2011
On 2011-05-02 03:54, Ketil Malde wrote:
> "There is a particular reason why monads had to arise in Haskell,
> though, which is to defeat the scourge of laziness."
> I wonder if there are any other rationale for a statement like that?
He spends one paragraph dismissing the usefulness of referential
"You cannot easily convert between functional and monadic
style without a radical restructuring of code. ... you
are deprived of the useful concept of a benign effect"
I imagine that he considered how he prefers ML the way it is, without
base libraries thoroughly rewritten to support purity. If purity and RT
aren't the reason why Haskell uses monads, what's left? Laziness does
More information about the Haskell-Cafe