我怎么知道大型parsec 解析器是否可以在没有实验的情况下消耗输入 - 似乎没有记录

问题描述

在 Parsec 或 Megaparsec 解析器中使用 组合器时,可能需要“尝试”强制回溯,以防第一个解析器在消耗输入后失败。在 Parsec 中,我需要在解析字符串时使用“try”:

λ: parse (try (string "abc") string "abd") "" "abd"

右“abd”

如果没有 'try',解析会失败,因为第一个解析器消耗了 'a',只留下 'bd' 给第二个解析器,第二个解析器自然也会失败。

在 Megaparsec 中,不需要“尝试”:

λ: parse (string "abc" string "abd") "" "abd"

右“abd”

因此在 Megaparsec 中,字符串解析器在失败时不会消耗输入。

我的问题是:

  1. 除了试验之外,我怎么可能发现 Parsec 和 Megaparsec 之间的字符串解析器行为不同 - 我没有看到它记录在案?

  2. 如果解析器失败,我如何轻松地(即,无需实验)判断解析器是否消耗输入?

谢谢。

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)