[Haskell-cafe] Mutable arrays
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Wed Feb 6 12:23:02 EST 2008
On Feb 6, 2008, at 12:12 , Peter Verswyvelen wrote:
>> 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
> type that is used in the IO monad? Surely the RealWorld is unique...
You might want to look at the definition of unsafePerformIO before
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
More information about the Haskell-Cafe