[Haskell] Re: ST/STRef vs. IO/IORef
till at informatik.uni-bremen.de
Fri Aug 5 02:12:36 EDT 2005
Remi Turk wrote:
> In a final attempt to convince someone of I'm not exactly sure
> what, I attached a simple implementation of the ST monad in terms
> of unsafePerformIO + IORef + IOArray.
OK, but you have to reason about this implementation to show that
it is safe (which may be difficult because unsafePerformIO makes
reasoning extremely difficult), while the primitives of ST are
more easily proved to be safe.
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen till at tzi.de
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
More information about the Haskell