transformers versus mtl

Sittampalam, Ganesh ganesh.sittampalam at
Mon Mar 16 10:29:05 EDT 2009

Ross Paterson wrote:
> On Mon, Mar 16, 2009 at 08:48:34AM -0000, Sittampalam, Ganesh wrote:
>> I think this makes perfect sense where the monad transformer types
>> are not externally visible. I'm just concerned about what to do with
>> packages where the types are part of the interface - it would be best
>> to coordinate this to some extent to avoid incompatibilities.
> Hmm, there seem to be over a hundred such packages.
> The monads-fd and monads-tf packages use the same module names, which
> will create incompatibilities if both appear in interfaces.  I'm not
> sure what to do there.  transformers+monads-fd tries to mirror mtl,
> so maybe monads-tf has to move.

That's an issue for the design of transformers that clearly needs to be
fixed, but I was actually asking about if any focused mtl ->
transition is planned and how it will be managed, in terms of dealing
with the non-interoperability between the types in each.



 Please access the attached hyperlink for an important electronic communications disclaimer: 

More information about the Libraries mailing list