[Haskell-cafe] Mutable arrays

Don Stewart dons at galois.com
Wed Feb 6 13:15:05 EST 2008

> > That's a reasonable critique : its hard to enforce uniqueness, in the
> > type system in Haskell, -- I'd be interesting to see approaches that
> > avoid extending the compiler.
> Isn't the compiler already "modified" in a way to deal with the RealWorld
> type that is used in the IO monad? Surely the RealWorld is unique...

Yep, its an unforgable, strict kinded value. Sometimes I find it
would be nice to have user defined versions of these guys.

-- Don

More information about the Haskell-Cafe mailing list