[Haskell] Any way to change state type in a monad?

Ralf Laemmel Ralf.Laemmel at cwi.nl
Tue Jul 13 15:37:35 EDT 2004


Ben.Yu at combined.com wrote:

> snipped

There seems to be something in the air.

See the recent haskell-cafe thread started by Keean Schupke:
http://www.haskell.org//pipermail/haskell-cafe/2004-July/006347.html

Especially my reply:
http://www.haskell.org//pipermail/haskell-cafe/2004-July/006349.html
(this is more or less such a type-changing state monad you ask for.
I have meanwhile a few more monads like that.
Would be interesting to work out some theory of monad transformation
in this context.)

And perhaps also see *Chung-chieh Shan's reply:*
http://www.haskell.org//pipermail/haskell-cafe/2004-July/006347.html

Cheers,
Ralf





More information about the Haskell mailing list