[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  
> RealWorld
> type that is used in the IO monad? Surely the RealWorld is unique...

You might want to look at the definition of unsafePerformIO before  
asserting that.

-- 
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 mailing list