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