haskell - 我应该使用 monad 还是 EfforT monad 转换器？

Question

我已阅读 this question 。以下是已接受答案的引用:

This instance has been added in base 4.3.x.x, which comes with ghc 7. Meanwhile, you can use the Either instance directly, or, if you are using Either to represent something that may fail you should use ErrorT monad transformer.

我想使用 Either 来做这样的事情:

> (Left "bad thing happened") >>= \x -> Right (x ++ " ...")
Left "bad thing happened"

因此，如果计算的一部分失败，则返回其 Left。

实际问题是:为什么我应该使用 ErrorT monad 转换器而不是 Either monad？我是 Haskell 的新手，我有点害怕 monad 转换器，尤其是当我已经在其中编写代码时。

Answer 1

如果适合您的情况，我建议使用Either。如果您想在计算过程中执行一些IO，例如:

x <- mightReturnLeft
y <- liftIO someIOAction
useXandY x y

在这种情况下，Either 是不够的，但 ErrorT 可以。

此外，我建议使用 ExceptT而不是 ErrorT。 ErrorT 依赖于 Error 类，这使得它使用起来更加尴尬。