复杂秒差距解析器

Question

我不太知道还能怎么问。我想我在这里需要一般指导。我有这样的事情：

expr = buildExpressionParser table term
    <?> "expression"

term = choice [
    (float >>= return . EDouble)
    , try (natural >>= return . EInteger)
    , try (stringLiteral >>= return . EString)
    , try (reserved "true" >> return (EBool True))
    , try (reserved "false" >> return (EBool False))
    , try assign
    , try ifelse
    , try lambda
    , try array
    , try eseq
    , parens expr
    ]
    <?> "simple expression"

但是，当我测试该解析器时，我大多遇到问题...就像当我尝试解析

 (a,b) -> "b"

它时，它被 lambda 解析器接受，但是 expr 解析器讨厌它。有时它甚至完全悬置在永恒的规则中。

我已经通读了为自己编写一个Scheme，但它只解析Scheme的同构源。

也许我通常思考的方向是错误的。

编辑：这里是内部解析器：

assign = do
    i <- identifier
    reservedOp "="
    e <- expr
    return $ EAssign i e

ifelse = do
    reserved "if"
    e <- expr
    reserved "then"
    a <- expr
    reserved "else"
    b <- expr
    return $ EIfElse e a b

lambda = do
    ls <- parens $ commaSep identifier
    reservedOp "->"
    e <- expr
    return $ ELambda ls e

array = (squares $ commaSep expr) >>= return . EArray

eseq = do
    a <- expr
    semi <|> (newline >>= (\x -> return [x]))
    b <- expr
    return $ ESequence a b

table = [
        [binary "*" EMult AssocLeft, binary "/" EDiv AssocLeft, binary "%" EMod AssocLeft ],
        [binary "+" EPlus AssocLeft, binary "-" EMinus   AssocLeft ],
        [binary "~" EConcat AssocLeft],
        [prefixF "not" ENot],
        [binaryF "and" EAnd AssocLeft, binaryF "or" EAnd AssocLeft]
    ]

“讨厌它”我的意思是它告诉我它需要一个整数或浮点数。

Answer 1

评论中的爱德华和我都试图做的是在心里运行你的解析器，如果没有更多的解析器继续下去，这有点困难。我将在这里做出一些猜测，也许它们会帮助你完善你的问题。

猜测 1)：您已尝试过GHCI>；解析 expr "(input)" "(a,b) -> \"b\" 并返回 Left ...。了解错误是什么会很有帮助。

猜测 2)：您还尝试过 GHCI> parse lambda "(input)" "(a,b) -> \"b\" 并且它返回了对…。基于此爱德华和我都推断出在您的 term 解析器或生成的 expr 解析器中的某个地方存在冲突，即解析器的某些部分正在成功匹配字符串的开头并返回一个值，但剩下的内容不再有效。如果您尝试 GHCI> 将会很有帮助。解析 term "(input)" "(a,b) -> \"b\" 因为这可以让我们知道问题是在 term 还是 expr< /code>。

猜测 3)：字符串 "(a,b)" 本身就是您编写的语法中的有效表达式（尽管可能不是。正如您打算对其进行编程一样；-)。尝试通过 expr 解析器发送它，看看会发生什么

猜测 4)：您的语法是递归的，这就是原因。 Parsec 是一个 LL(k) 解析器，如果您习惯使用 LR(1) 或 LR(k) 解析器，则递归规则完全相反。不明白最后一句话没关系，但让我们知道

猜测 5)：表达式生成器中的代码看起来像是来自函数的文档。我认为您可能已经找到了术语。如果是这样的话，你可以指出它的来源，如果不是，你可以用几句话解释一下你认为 term 应该如何工作。

---

一般建议：大量的try语句最终（也就是现在）会给你带来痛苦。它们在某些情况下很有用，但也有点顽皮。如果下一个角色可以决定什么选择应该成功，那么就不需要他们了。如果你只是想让某些东西运行大量的回溯会减少中间形式的数量，但它也会隐藏病态的情况并使错误更加模糊。

Answer 2

似乎存在左递归，如果 term 中的 choice 达到 eseq，这将导致解析器挂起：

expr< /代码> -> 术语 -> eseq -> expr

term (a,b) 不会解析为 lambda 或 array< /code>，所以它会陷入eseq循环。

我不明白为什么 (a,b) -> “b” 不会解析为 expr，因为 term 中的 choice 应该命中您所说的 lambda在到达 eseq 之前有效。解析错误中报告的位置是什么？