[Haskell] IO == ST RealWorld

Twan van Laarhoven twanvl at gmail.com
Mon Jan 23 15:55:39 EST 2006

Is there any reason why IO should not be defined as:
  > type IO a = ST RealWorld a
in implementations that support ST?

This way IORef/STRef and IOArray/STArray can be merged. I know under the 
hood they already share code, but this way they can also share an interface.


More information about the Haskell mailing list