[Haskell-cafe] Misleading MVar documentation

Edward Z. Yang ezyang at MIT.EDU
Wed Jan 12 16:53:13 CET 2011

These are interesting, opposed perspectives, and I suspect what would be
good is to treat both situations.  I think perhaps what would be good
to put in the introduction is the conceptual model of MVars: that is,
take and put are the fundamental operations, and everything else is
composed of them.  With additional constraints on who is writing and reading
MVars, you can assume more safety properties, but you have to ensure
that those are indeed held (or you should use STM instead.)

I'll try another writeup. Does anyone know where the original papers for
MVars might be?


More information about the Haskell-Cafe mailing list