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

如何解决我怎么知道大型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. 如果解析器失败，我如何轻松地（即，无需实验）判断解析器是否消耗输入？

谢谢。