[Haskell-cafe] MonadMemory class

Ariel J. Birnbaum valgarv at gmx.net
Thu Mar 27 20:01:32 EDT 2008


> This has come up a few times and been written by many Haskellers
I was quite certain of that, hence my puzzlement at being unable to find it =)

> > What kind of axioms should an instance of this class satisfy?
> There are quite a few obvious ones, but I'm not sure it's particularly
> necessary.
I'm still curious, though. In general I think it's a GoodThing (TM) if stuff 
(especially the sort of typeclasses) come with a semantic base we can use for 
reasoning about it; in the sort of way the Monad class comes with the monad 
laws.

> The issue here is a type one, not a semantics one.
An issue nevertheless, IMHO

> I believe the only 
> way to purely get such an interface (in current Haskell) is to use
> unsafeCoerce.
I'm not so sure about calling unsafeCoerce 'pure' ;)

-- 
Ariel


More information about the Haskell-Cafe mailing list