Is Safe Haskell intended to allow segfaults?

[Brandon Allbery]

On Mon, Aug 8, 2016 at 1:27 PM, Ryan Newton <rrnewton at gmail.com> wrote:

> As usual?  So it is ok to segfault GHC?  Elsewhere it says "in the safe
> language you can trust the types", and I'd always assumed that meant Safe
> Haskell is a type safe language, even in the IO fragment.


Pretty sure it's impossible to allow IO without enabling all of it one way
or another. And as soon as you allow *any* IO, you're open to various kinds
of failures including segfaults. The only way you will get your type system
to prevent that is fully specified dependent typing both in your program
*and in the OS level interfaces*. I wish you luck on the latter.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160808/a06e3bca/attachment.html>