parsing - 将 Haskell Parsec 语法翻译成 Scala？

Question

我正在尝试将使用 Parsec 用 Haskell 编写的语法翻译成 Scala 的解析器组合器。

实际匹配表达式的翻译非常简单，至少在我看来，在 Scala 中甚至更容易一些。我完全不清楚的是如何处理 Parsec 使用 monad 传递的状态。

Scala 解析器读入 Input 并生成 ParseResult[T]。

相反，Haskell 中的 GenParser 读取输入和状态并生成另一个解析器。在 Scala 中传递这种状态让我感到困惑。

有人愿意分享 Scala 中的状态解析示例吗？

Answer 1

我知道在 Scala Parsers Combinators 中处理状态完整性的唯一方法是通过 into方法，也称为 >>和 flatMap (而且，是的，您可以在理解中使用它)。但是，它将状态(或更准确地说，解析结果)传递给解析器，而不是沿着下一个解析器传递，这似乎是您所描述的。

不知道 Haskell 的 Parsec，我很难猜测它如何用于翻译您的语法。

另见 this question .有一篇关于 Scala 解析器组合器的非常有趣的论文，但我找不到它。一些探索 Scala Lang可能会打开它。