Hello J.,
Monday, December 11, 2006, 10:20:17 PM, you wrote:
Haskell implementations of the transformers in Espinosa's paper are
discussed in Mark Jones's 1995 paper Functional Programming with
Overloading and Higher-Order Polymorphism, and are available with the
mtl package that is (I
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?
--
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
On 12/11/06, Mark T.B. Carroll [EMAIL PROTECTED] wrote:
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?
Haskell implementations of the transformers in Espinosa's