[Haskell-cafe] unsafePerformIO: are we safe?

Adrian Hey ahey at iee.org
Wed Sep 26 17:08:31 EDT 2007


Chaddaï Fouché wrote:
> There can't be alternatives, unsafeIO throw by the window most
> guarantee that Haskell can give you and you have to provide them
> yourself (with a proof of this part of your program), but it's
> inherent to the nature of the beast, it's what it do !

What about ..

  http://www.haskell.org/haskellwiki/Top_level_mutable_state

This as unsafe a use of unsafePerformIO as you'll ever find, but
necessary for real IO libs.

Regards
--
Adrian Hey



More information about the Haskell-Cafe mailing list