On Thu, 28 Aug 1997, Johannes Waldmann wrote:
If comprehensions are allowed for arbitrary monads,
then [x] as an expression means "return, in some monad"
while [x] as a type expression means "the list type".
I think this is a nuicanse too, I really haven't grasped the advantages of the
monad
I'd like to throw in an optical consideration
on comprehensions for lists vs. monads:
If comprehensions are allowed for arbitrary monads,
then [x] as an expression means "return, in some monad"
while [x] as a type expression means "the list type".
This is a discrepancy. I think it looks
rjmh wrote:
This is in response to your message about removing the overloading of list
operations in ``Questions on the Table''---actually it more in response to
the
message about removing monad comprehension. I'm pretty new to Haskell (and
functional