parsing - 如何使用 Parsec 制作子解析器？

Question

我想用 Parsec 解析几个缩进或格式化为数组的命令列表。例如，我的列表的格式如下:

Command1 arg1 arg2       Command1 arg1 arg2         Command1 arg1 arg2
Command2 arg1                                       Command3 arg1 arg2 arg3
                         Command3 arg1 arg2 arg3
                                                    Command4
Command3 arg1 arg2 arg3  Command2 arg1
                         Command4
Command4
Command5 arg1                                       Command2 arg1

这些命令应该通过解析器中的状态更改逐列进行解析。

我的想法是将命令收集到单独的字符串列表中，并将这些字符串解析到子解析器中(在主解析器内执行)。

我检查了 Parsec 库的 API，但没有找到执行此操作的函数。

我考虑过使用runParser但此函数仅提取解析器的结果，而不提取其状态。

我还考虑过制作一个受 runParsecT 启发的函数和 mkPT制作我自己的解析器，但构造函数 ParsecT 或 initialPos 不可用(未由库导出)

是否可以在具有 Parsec 的解析器内运行子解析器？

如果没有，像 megaparsec 这样的库是否可以？可以解决我的问题吗？

Answer 1

不是一个完整的答案，更多的是一个需要澄清的问题:

是否有必要建立一个字符串列表？我更愿意解析输入并将其转换为更特殊的数据类型。这样您就可以使用 haskell 的类型保证。

我首先为我的命令定义一个数据类型:

data Command = Command1 Argtype1 
               | Command2 Argtype2
               | Command3 Argtype1 Argtype2

data Argtype1 = Arg1 | Arg2 | ArgX
data Argtype2 = Arg2_1 | Arg2_2 

之后，您可以解析输入并将其放入数据类型中。

在解析结束时，您可以映射结果(即通过操作 (:) 在前面添加列表)。

您最终得到的数据类型为 [Command]。这样您就可以进一步工作。

要解析文本，您可以按照以下位置的 megaparsec 包的介绍进行操作:(https://markkarpov.com/megaparsec/parsing-simple-imperative-language.html)

<小时/>

或者你的意思是完全不同的东西？也许每一行(包含一些命令)作为一个整体应该是状态机的一个输入，并且状态机随命令而变化？然后我想知道为什么状态机要实现为解析器。