[Haskell-cafe] Re: Data.List.join

Stefan Holdermans stefan at cs.uu.nl
Sat Oct 21 11:14:09 EDT 2006


Samuel wrote:

>> But wait! There is also a join in Control.Monad!

Josef replied:

> Good point. But I don't really see that as a problem. Don't you think
> the two 'join's can co-exist?

I do think it's a problem, for list are also monads. Instantiating  
the monadic join with [] we'd wind up with both

   join :: [[a]] -> [a]

and

   join :: [a] -> [[a]] -> [a]

which to me seems just a little too confusing.

Cheers,

   Stefan


More information about the Haskell-Cafe mailing list