23 Jan
2006
23 Jan
'06
8:55 p.m.
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. Twan