Haskell迷你语言

Question

我试图为语言E定义一个评估者，并且很坦率地说我完全处于一个茫然的状态，不知道如何解决我一直在获取的如何定义eval类型的所有错误。我花了几个小时阅读口译员，monad，并试图找到类似的东西给我一个基础，但我什么也没有。这是家庭作业，所以自然不要直接给出答案。我现在最大的问题是Num E或Integral E没有实例声明，当我尝试使用fromInt和fromNum来修复这个问题时，我遇到了更多的错误。我也尝试将定义改为各种不同的方式，主要问题是Int与E的类型不匹配。我觉得我错过了一些非常基本的东西，但是我一直无法完全缩小它。如果我不清楚任何特定问题，我会很乐意回答任何其他问题。如果有任何消息来源是很好的附加信息，我真的很感激链接。

data E = IntLit Int 
    | BoolLit Bool 
    | Plus E E 
    | Minus E E 
    | Multiplies E E 
    | Divides E E 
    | Equals E E 
    deriving (Eq, Show) 

eval :: E -> E 
--eval = undefined 
eval (IntLit a) = IntLit a 
eval (BoolLit a) = BoolLit a 
eval (Plus a b) = eval a + eval b 
eval (Minus a b) = eval a - eval b 
eval (Multiplies a b) = eval a * eval b 
eval (Divides a b) = eval a `div` eval b 
eval (Equals a b) = BoolLit(a == b) 

Answer 1

Monads与此无关。因为你是混合两种在一起：整数和布尔变量，您可能需要使用某种类型的两轮牛车（GADTs），并定义与输入eval：

eval :: E a -> a 

或定义一个新的类型，称为Value这样的：

data Value = IntValue Int | BoolValue Bool | TypeError 

，然后有：

eval :: E -> Value 

里面的eval，你需要匹配你的表情的结果是这样的：

eval (Plus e1 e2) = case eval e1 of 
    (IntValue v1) -> case eval e2 of 
     (IntValue v2) -> IntValue (v1+v2) 
     _ -> TypeError 
    _ -> TypeError 

这很乏味，但很简单。 :)当然，你不想重复自己很多次，所以通过定义一个辅助功能为自己节省大量的工作：

evalMathBinOp :: (Int -> Int -> Int) -> E -> E -> Value 
evalMathBinOp f e1 e2 = case eval e1 of 
    (IntValue v1) -> case eval e2 of 
     (IntValue v2) -> IntValue (f v1 v2) 
     _ -> TypeError 
    _ -> TypeError 

现在只：

eval (Plus e1 e2) = evalMathBinOp (+) e1 e2 
eval (Minus e1 e2) = evalMathBinOp (-) e1 e2 
-- and so on...