haskell - 为什么这个 Parsec 解析器会进入无限循环？

Question

以下解析器对任何输入都会进入无限循环。

data Ast
    = Number Int
    | Identifier String
    | Operation Ast BinOp Ast
    deriving (Show, Eq)

data BinOp = Plus | Minus
    deriving (Show, Eq, Enum)

number = Number <$> read <$> many1 digit

identifier = Identifier <$> many1 letter

operator = choice $ mkParser <$> [(Plus, '+'), (Minus, '-')]
  where mkParser (f, c) = f <$ char c

operation = Operation <$> ast <*> operator <*> ast

ast :: Parser Ast
ast = operation <|> number <|> identifier

问题出在操作解析器的某个地方。我认为它与备用解析有关，但我不明白。

你能解释一下问题是什么吗？

谢谢!

Answer 1

问题确实在于无限递归。您的ast解析器调用operation首先解析器。但后来operation解析器调用ast再次回来。等等。 <*>用于解析的运算符也运行解析器。与 <|> 的差异说明以非常非正式的方式:<*>按顺序一一运行解析器是否 <|>运行第一个解析器，只有在失败时才运行第二个解析器。

operation = Operation <$> ast <*> operator <*> ast
ast       = operation <|> number <|> identifier

基本上，即使重新排列解析器，您的方法也不起作用。请参阅类似问题的答案以获取解释:Megaparsec: Not able to parse arithmetic string