0

我正在尝试学习如何在 Haskell 中为表达式做解析器，我找到了这段代码（如下），但我什至不知道如何使用它。

我试过： expr (Add (Num 5) (Num 2)) ，但它需要一个“解析器”数据类型。

import Text.Parsec
import Text.Parsec.String
import Text.Parsec.Expr
import Text.Parsec.Token
import Text.Parsec.Language

data Expr = Num Int | Var String | Add Expr Expr | Sub Expr Expr | Mul Expr Expr | Div Expr Expr deriving Show

expr :: Parser Expr
expr = buildExpressionParser table factor
  <?> "expression"
table = [[op "*" Mul AssocLeft, op "/" Div AssocLeft],
      [op "+" Add AssocLeft, op "-" Sub AssocLeft]]
      where
        op s f assoc = Infix (do{ string s; return f}) assoc
factor = do{ char '('
        ; x <- expr
        ; char ')'
        ; return x}
    <|> number
    <|> variable
    <?> "simple expression"
number :: Parser Expr
number = do{ ds<- many1 digit
      ; return (Num (read ds))}
  <?> "number"
variable :: Parser Expr
variable = do{ ds<- many1 letter
        ; return (Var ds)}
  <?> "variable"

解决方案：readExpr input = parse expr "name for error messages" 输入并使用 readExpr。

4

1 回答 1

2

您可以使用将在输入字符串上parse运行 a并返回. 我在下面放了一个简单的用法，将其转换为字符串并传递ParserEither ParseError ExprParseError

readExpr :: String -> Either String Expr
readExpr input = case parse expr "name for error messages" input of
   Left err -> Left $ "Oh noes parsers are failing: " ++ show err -- Handle error
   Right a  -> Right a -- Handle success

还有一些其他功能，例如parseFromFile，可以让您简写一些常见模式，要找到它们，请查看 parsec haddock

于 2013-05-26T13:12:49.257 回答