bf3: > > 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
