Aside from using a monad which has all the effects you need directly,
or working in the IO monad, you can compose a monad with the necessary
properties using monad transformers (which you tend to then at least
give a type alias to, if not a newtype declaration). Part III of
Hello gary,
Sunday, September 11, 2005, 8:22:50 AM, you wrote:
gn in the paper, it is quite comment that one would need
gn exception handling, state management and output all at
gn the same time.
gn How would one do it in a monadic way ? As my
gn understanding of Monad is that it is something