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@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@scientician.net> 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@haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries