모나드 또는 ErrorT 모나드 trasformer를 사용해야합니까?

Question

나는 this question을 읽었습니다. 이 인스턴스 한편 GHC (7)와 함께 제공 기본 4.3.xx에 추가되었습니다

, 당신은 당신이 뭔가를 표현하기 위해 Either를 사용하는 경우, 직접 Either 인스턴스를 사용하거나 할 수 있습니다 : 여기 허용 대답의 인용이다 당신이 실패 할 수도 있습니다 ErrorT 모나드 변압기를 사용해야합니다.

는이 같은 뭔가를 Either를 사용하려면 : 계산의 한 부분이 실패 할 경우

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

그래서, 그 Left가 반환됩니다.

실제 질문은 Either 모나드가 아닌 ErrorT 모나드 트랜스포머를 사용해야하는 이유는 무엇입니까? 나는 하스켈의 초심자이며, 특히 모나드 변압기를 두려워하고있다. 특히 내가 이미 코드를 작성하고있을 때 그렇다.

Answer 1

케이스에 맞는 경우 Either을 사용하는 것이 좋습니다. 당신이 당신의 계산의 중간에 일부 IO을 수행하려는 경우가 이 충분하지 않을 경우의 예는 예를 들어, 다음과 같습니다

이 경우

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

, Either는 충분하지 않습니다,하지만 ErrorT 작동 것 .

또한 ErrorT 대신 ExceptT을 사용하는 것이 좋습니다. ErrorT은 Error 클래스를 사용하므로 사용하기가 더 어려워집니다.