list monad transformer

Simon Peyton-Jones simonpj@microsoft.com
Fri, 16 May 2003 08:49:02 +0100


We could do with someone to take ownership of the Control.Monad
libraries.  Andy Gill wrote them but I don't think he's actively
maintaining them, which leaves discussions like this in mid air.

Simon

| -----Original Message-----
| From: haskell-admin@haskell.org [mailto:haskell-admin@haskell.org] On
Behalf Of Andrew J Bromage
| Sent: 16 May 2003 05:20
| To: Iavor Diatchki
| Cc: Haskell Mailing List; libraries@haskell.org
| Subject: Re: list monad transformer
|=20
| G'day all.
|=20
| On Thu, May 15, 2003 at 11:12:32AM -0700, Iavor Diatchki wrote:
|=20
| > given that, we should either remove the
| > #ListT# transformer from the monad library, or (perhaps better) put
a
| > big warning that it should only be used with commutative monads.
|=20
| My personal choice would be to dump it and replace it with Ralf
| Hinze's backtracking monad transformer, which _does_ preserve
| commutativity.  If someone with checkin rights is listening in,
| I'd be very happy to contribute my implementation, which is about
| as stable as it's ever going to be.
|=20
| Cheers,
| Andrew Bromage
| _______________________________________________
| Haskell mailing list
| Haskell@haskell.org
| http://www.haskell.org/mailman/listinfo/haskell