[Haskell-cafe] ANNOUNCE: vector-bytestring-0.0.0.0

Roman Leshchinskiy rl at cse.unsw.edu.au
Mon Oct 17 16:42:19 CEST 2011


Michael Snoyman wrote:
> On Mon, Oct 17, 2011 at 12:14 PM, Bas van Dijk <v.dijk.bas at gmail.com>
> wrote:
>>
>> My idea is that when vector-bytestring is as fast as bytestring, it
>> can replace it. When that happens it doesn't matter if users use the
>> vector interface. I would even recommend it over using the bytestring
>> interface so that bytestring can eventually be deprecated in favor of
>> vector.
>
> +1. I'm in favor of using the OverlappingInstances/no newtype and
> specialized Show instance. I think that, if there was *ever* a case
> where OverlappingInstances was a good fit, it's this one. We're
> talking about a single module exporting both the base and overlapped
> instance, so which instance gets used should be completely decidable.
> (Unless of course someone defines an orphan instance elsewhere, but
> that's a different issue IMO.) And even in a worst-case-scenario where
> somehow we get the wrong instance, we're only talking about output
> used as a debugging aid, so the damage is minimal.

So suppose we change the Show and Read instances for Storable vectors of
Word8 and Char. What happens with unboxed and boxed vectors of these
types? Should these be changed as well? Should these be changed as well?
If not, why not?

Roman






More information about the Haskell-Cafe mailing list