Removing the .Safe modules from vector (was: Haskell Platform proposal: Add the vector package)
Milan Straka
fox at ucw.cz
Thu Aug 30 10:27:52 CEST 2012
Hi,
> After reading the Safe Haskell paper today, I got the impression that
> no one actually wants the .Safe modules currently in vector. If vector
> was to be made Safe Haskell friendly, we should instead add .Unsafe
> modules (and have the rest of the modules declared Trustworthy).
> Having .Unsafe modules is better than having .Safe modules, because
>
> * there are many more safe functions than unsafe functions, and
> * Haskell is by default safe, so having modules called .Safe is a bit
> like having modules called .Pure. There's precedence for having
> .Unsafe modules in e.g. bytestring.
>
> If that's the case, and if Roman agrees, I suggest we release a new
> major version that
>
> * removes all the .Safe modules [1],
> * adds new .Unsafe modules, and
> * marks the functions that are now exported through the .Unsafe
> modules deprecated in their original (non-.Unsafe) location.
+1 from me.
Milan
More information about the Libraries
mailing list