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] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university KF8NH
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
