如何在 Parsec 中实现下标运算符？

Question

我正在用 Parsec 编写一个解析器。 像 E -> E + E 这样的左递归产生式在 LL 解析器中无法轻松编写，因此 Parsec 提供了buildExpressionParser ，它支持中缀、后缀和前缀运算符。 但是下标运算符呢？

E -> E [E] 将如何实现？ 如果我可以在不使用第二个表达式的情况下使用buildExpressionParser括号，那么我可以使用buildExpressionParser的中缀表条目来模拟它。 想法？

编辑：我知道有一种左递归消除算法很可能适用于我的语法。 我正在寻找一些简单或抽象的东西（例如buildExpressionParser ）。 否则我就用Happy。

Answer 1

在我们的项目中，我们手动消除了表达式中的左递归。 这按以下方式工作：

我们创建了表达式的通用形式，由术语解析器参数化：

expressionGen :: MParser (Expr LocInfo) -> MParser (Expr LocInfo)
expressionGen term = buildExpressionParser precedenceTable term <?> "expression"
  where precedenceTable = -- unary, binary expressions

我们有一个普通的术语解析器和一个没有递归规则的术语解析器。 有了这个，我们可以解析（多个）下标运算符：

term :: MParser (Expr LocInfo)
term = do indBase <- termNoArray
          indexes <- many $ (brackets expression >>= return)
          return -- semantics
        <?> "term"

termNoArray :: MParser (Expr LocInfo)
termNoArray = -- normal terms

最后，我们有一个最顶层的表达式解析器： expression = expressionGen term

Answer 2

诀窍是将后缀下标运算符视为一个整体，包括索引表达式。

在megaparsec/parsec-combinators术语中：

pExpr = makeExprParser pTerm operatorTable

...

parseSubscr :: Operator Parser Expr
parseSubscr =
  Postfix $ do
    symbol space "["
    index <- pExpr
    symbol space "]"
    pure $ \parent ->
      Subscript parent index