>> iio :: IO (IORef Int)
>> iio = newIORef 0

I sometimes feel like "IO" should be renamed to
"CommandSequenceReturning".  So the above would read:

  iio :: CommandSequenceReturning (IORef Int)
  iio = newIORef 0

I.e. iio is not an IORef Int but only a (trivial) sequence of commands
that will end up returning an object of (IORef Int) when it'll
be executed.


        Stefan

_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to