[Haskell-cafe] Stratified monads
nicolas.frisby at gmail.com
Mon Dec 11 14:13:30 EST 2006
As far as I know, the "stratified monads" are recognized as "monad
transformers" in Haskell. The predominant library is the Monad
Transformer Library (or mtl) coded by Andy Gill, see .
One of my favorite examples of the usefulness of monad transformers is
for building domains for denotational semantics: see . I'm sure
other people can sugget many other favorite uses.
I hope I haven't misinterpreted "stratified monads"...
 - http://www.haskell.org/ghc/docs/latest/html/libraries
 - http://citeseer.ist.psu.edu/liang95monad.html
On 12/11/06, Mark T.B. Carroll <mark at ixod.org> wrote:
> I was interested to read David Espinosa's "Stratified Monads" paper at
> I'm not sure I actually understand them properly yet, but I'm already
> curious about if anybody's played with them in Haskell, or how useful
> it would be to do so. Any comments?
> -- Mark
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe