[Haskell-cafe] Stratified monads

[Nicolas Frisby]

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 [1].

One of my favorite examples of the usefulness of monad transformers is
for building domains for denotational semantics: see [2]. I'm sure
other people can sugget many other favorite uses.

I hope I haven't misinterpreted "stratified monads"...

Nick

[1] - http://www.haskell.org/ghc/docs/latest/html/libraries
[2] - 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
> http://www-swiss.ai.mit.edu/~dae/papers/sm.ps.Z
>
> 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
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>