Proposal #1464: add dropPrefix to Data.List

Donald Bruce Stewart dons at cse.unsw.edu.au
Wed Jun 27 01:04:55 EDT 2007


iavor.diatchki:
> Hi,
> I can see how this function can be useful.  However, I am strongly
> opposed to adding the general monadic version---not all monads support
> graceful failure, and for monads that do not support it, the only
> option is to throw a run-time exception, which is at odds with the
> purity of Haskell (which leads to headaches when you try to write
> robust code).  I think that the "Maybe" version is perfectly adequate
> but if we have to have an overloaded version, then we should use
> "MonadPlus".
> -Iavor

And in the dlist library we provide,

    maybeToMonadPlus :: MonadPlus m => Maybe a -> m a
    maybeToMonadPlus = maybe mzero return

For those who want it. (Maybe *that* should be in Data.Maybe).

-- Don


More information about the Libraries mailing list