[Haskell-cafe] Mutable arrays

Peter Verswyvelen bf3 at telenet.be
Wed Feb 6 12:12:57 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...

Peter Verswyvelen

More information about the Haskell-Cafe mailing list