qualified imports, PVP and so on (Was: add new Data.Bits.Bits(bitZero) method)

[Carter Schonwald]

Bart,  backpack is just a first design iteration. We shouldn't regard it as
the final answer, but as a starting point for understanding / exploring the
design space.

On Wednesday, February 26, 2014, Bart Massey <bart at cs.pdx.edu> wrote:

> Bardur: Yes! I want *this*! In addition to short-circuiting this epic
> argument, it looks way better. I've always wished Haskell had the ML
> module system, but this looks even better than that in some ways. So,
> yes. Let's get backpack into GHC, require it on Hackage, and get on
> with it. Note that backpack by itself isn't sufficient, since it only
> guarantees type-compatibility, not semantic compatibility. We would
> have to add additional rules requiring at least partial semantic
> compatibility of any changes to the semantics at a given name. --Bart
>
> On Tue, Feb 25, 2014 at 10:10 PM, Bardur Arantsson <spam at scientician.net<javascript:;>>
> wrote:
> > On 2014-02-25 18:26, Carter Schonwald wrote:
> >> indeed.
> >>
> >> So lets think about how to add module types or some approximation
> thereof
> >> to GHC? (seriously, thats the only sane "best solution" i can think of,
> but
> >> its not something that can be done casually). Theres also the fact that
> any
> >> module system design will have to explicitly deal with type class
> instances
> >> in a more explicit fashion than we've done thus far.
> >
> > This may be relevant:
> >
> >    http://plv.mpi-sws.org/backpack/
> >
> > Regards,
> >
> > _______________________________________________
> > Libraries mailing list
> > Libraries at haskell.org <javascript:;>
> > http://www.haskell.org/mailman/listinfo/libraries
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org <javascript:;>
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140226/58574724/attachment.html>