Is Safe Haskell intended to allow segfaults?

Bardur Arantsson spam at
Fri Aug 12 21:06:04 UTC 2016

On 2016-08-12 20:37, Edward Kmett wrote:
> What about consuming Storable Vectors carefully, or simply working
> parameterized over vector type, where Storable vectors are one of the
> options?

There was actually a great paper about a very similar thing (i.e.
"here's the usual interface" vs. "here's how it should be done") recently:

It may be of interest -- at least as far as an "improved Ptr/Storable" goes.


More information about the ghc-devs mailing list