<div class="gmail_quote">On Mon, Jan 5, 2009 at 1:48 PM, Peter Robinson <span dir="ltr"><<a href="mailto:thaldyron@gmail.com">thaldyron@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hello,<br>
<br>
One thing that's been bothering me about MonadError monads is<br>
the non-portability of code that uses a custom Error type. Meaning, if I<br>
have libraries A and B that use different error types, I won't be able to<br>
write a function func:<br>
<br>
func = (funcA >> funcB) `catchError` (\e -> ...)<br>
<br>
funcA :: ErrorT MyErrorA m ()<br>
<br>
funcB :: ErrorT MyErrorB m ()<br>
<br>
So I'm wondering whether there's a reason not to introduce a type class<br>
hierarchy instead of custom error types to make the code more portable.</blockquote><div><br></div><div>I think this worry is related to a world view of "large monads", which also proliferates claims like "monads are not appropriate for large programs", and is related to fat interfaces in OOP. I claim that, like objects, monads are appropriate for little pieces of computations, and monadic computations <span class="Apple-style-span" style="font-style: italic;">in different</span> monads deserve to be composed just as much so as those in the same monad.</div>
<div><br></div><div>The complex type-directed approach gives the feel of exceptions from mainstream languages, but will run into problems when eg. two computations both use ErrorT String, but you want to differentiate the errors. All that is necessary is a simple function:</div>
<div><br></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">mapError :: (e -> e') -> ErrorT e a -> ErrorT e' a</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">mapError f = ErrorT . liftM (left f) . runErrorT</span></div>
<div><br></div><div>(Where "left" is from Control.Arrow, and is a "semantic editor")</div><div><br></div><div>Then your example can become::</div><div><br></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">func = (mapError Left funcA >> mapError Right funcB) `catchError` (\e -> ...)</span><br>
</div><div><br></div><div>Luke</div></div>