Haskell 卡在解析布尔逻辑

Question

我目前正在为一种简单的编程语言编写解析器。它到了那里但是我无法解析布尔逻辑语句，例如“i == 0 AND j == 0”。我得到的只是“以防万一”

当我自己解析一个布尔表达式时，它可以正常工作，例如“我 == 0”。注意“i == 0 a”也将返回一个布尔语句，但“i == 0 AND”不返回任何内容。

有人可以帮忙吗？

虽然上面的输入可以正常工作，例如运行 parseBoolean "i == 0"

Answer 1

正如@hammar 指出的那样，您应该使用Text.Parsec.Expr 来处理这种事情。不过，既然这是功课，也许你必须努力去做！

问题出在parseArithmetic，你允许anyChar是一个运算符，但是在case语句中，你只允许+，-，*，/，@987654328 @ 和 ^。当parseArithmetic 尝试解析i == 0 时，它使用第一个= 作为运算符，但无法从第二个= 解析intExp2，并且在monad 和回溯中失败，然后才到达案例陈述。然而，当你尝试解析i == 0 AND j == 0时，它得到了i ==部分，但随后它认为有一个0 A ND的算术表达式，其中A是一个运算符，ND是一些名字变量，所以它得到了案例，繁荣。

顺便说一句，您可以让您的解析器返回一个函数而不是字符串，然后直接应用该函数，而不是使用解析器匹配一个字符串，然后再使用 case 语句进行第二次匹配：

 parseOp :: String -> a -> Parser a
 parseOp op a = string op >> spaces >> return a

 parseLogic :: Parser BoolExp 
 parseLogic = do 
    boolExp1 <- parseBoolExp 
    spaces 
    operator <- choice [ try $ parseOp "AND" And
                       , parseOp "OR" Or
                       , parseOp "XOR" XOr
                       ]
    boolExp2 <- parseBoolExp
    return $ operator boolExp1 boolExp2


parseBoolean :: Parser BoolExp 
parseBoolean = do       
   intExp1 <- parseIntExp 
   spaces 
   operator <- choice [ try $ parseOp "==" Main.EQ
                      , parseOp "=>" GTorEQ
                      , parseOp "<=" LTorEQ 
                      ]
   intExp2 <- parseIntExp
   return $ operator intExp1 intExp2