Unpack primitive types by default in data

John Meacham john at repetae.net
Fri Feb 17 01:49:33 CET 2012


On Thu, Feb 16, 2012 at 4:42 PM, Johan Tibell <johan.tibell at gmail.com> wrote:
> 1. In theory the user could create a cut-n-paste copy of the data
> structure and specialize it to a particular type, but I think we all
> agree that would be unfortunate (not to say that it cannot be
> justified in extreme cases.)

I thought data families could help here, as in, you could do a SPECIALIZE on
a data type and the compiler will turn it into a data family behind the
scenes and specialize everything to said type. though, that wouldn't do
things like turn a Data.Map into a Data.IntMap...

    John



More information about the Glasgow-haskell-users mailing list