失败处理在错误monad

Question

至少我认为这是怎么回事。

Main.hs：

module Main (
    main 
) where 

import Arithmetic 
import Data.Maybe 
import Data.Either 
import Control.Monad.Error 

testExpr :: Expr Float 
testExpr = 
     (MultExpr "*" 
      (AddExpr "XXX" 
       (NumExpr 1) 
       (AddExpr "-" 
        (NumExpr 24) 
        (NumExpr 21) 
       ) 
      ) 
      (NumExpr 5) 
     ) 

main :: IO() 
main = do 
    putStrLn $ case eval testExpr of 
      Left msg -> "Error: " ++ msg 
      Right result -> show result 

Arithmetic.hs：

{-# LANGUAGE GADTs #-} 

module Arithmetic where 

type Op = String 

data Expr a where 
    NumExpr :: Float -> Expr Float 
    AddExpr :: Op -> Expr Float -> Expr Float -> Expr Float 
    MultExpr :: Op -> Expr Float -> Expr Float -> Expr Float 

eval :: (Monad m) => Expr Float -> m Float 
eval (NumExpr n) = return n 
eval (AddExpr "+" e1 e2) = evalBin (+) e1 e2 
eval (AddExpr "-" e1 e2) = evalBin (-) e1 e2 
eval (AddExpr "%" e1 e2) = evalBin (%) e1 e2 
eval (AddExpr _ _ _) = fail "Invalid operator. Expected +, - or %" 
eval (MultExpr "*" e1 e2) = evalBin (*) e1 e2 
eval (MultExpr "/" e1 e2) = evalBin (/) e1 e2 
eval (MultExpr _ _ _) = fail "Invalid operator. Expected * or /" 

evalBin :: (Monad m) => (Float -> Float -> Float) -> Expr Float -> Expr Float -> m Float 
evalBin op e1 e2 = do 
    v1 <- eval e1 
    v2 <- eval e2 
    return $ op v1 v2 

infixl 6 % 
(%) :: Float -> Float -> Float 
a % b = a - b * (fromIntegral $ floor (a/b)) 

但是，当eval失败，我得到IO错误，没有 “错误：” 字符串追加。

Answer 1

您使用的版本是base？ fail不再定义为在the latest version of the Either e monad中返回Left，而是使用默认定义（which calls error，它引发只能在IO中捕获的异常）。

我不知道为什么这改变了。

Answer 2

啊，我现在看到问题了！

要导入Control.Monad.Error，但使用Either单子，其fail清晰的通话error而不是返回Left。

您需要做的是将eval testExpr更改为runIdentity . runErrorT $ eval testExpr。您需要导入Data.Functor.Identity。

在旧版本的mtl（monad变换器库）中，任一个的fail方法确实都会返回Left。但是，问题在于当e是Error类的实例时，这只允许Either e成为单子。我认为这被认为是特别不可取的，因为fail通常被认为是一个错误;许多人认为它应该从Monad类型类中移出。

您当然可以选择完全不同的错误处理方法，但这与您已有的与最新版本的库一起工作的最接近的类似物。

我建议你专门在算术模块中使用代码，直接使用ErrorT和throwError;作为奖励，这也可以让你捕捉到你在口译员中的错误。

你也可以定义自己的错误类型，并在那种情况下，我建议定义自己的单子，使用或者：

newtype Eval a = Eval { runEval :: Either EvalError a } 
    deriving (Functor, Applicative, Monad) 

evalError :: EvalError -> Eval a 
evalError e = Eval (Left e) 

要么的单子实例会工作得很好，在这里;唯一改变的是它的fail的定义。请注意，您需要使用GeneralizedNewtypeDeriving扩展名来派生这些实例。

你当然可以在这里使用字符串而不是EvalError，但是这并不比简单的ErrorT;使用具有自定义错误类型的自己的monad的优点是，您不必定义Error的实例，这需要为noMsg/strMsg定义“全部捕获”错误值。