在 Parsec 或 Megaparsec 解析器中使用 <|> 组合器时，可能需要“尝试”来强制回溯，以防第一个解析器因消耗输入而失败。在 Parsec 中，我需要在解析字符串时使用“try”：
λ: parse (try (string "abc") <|> string "abd") "" "abd"
对“abd”
没有“try”，解析失败，因为第一个解析器消耗了“a”，只留下“bd”给第二个解析器，然后自然也会失败。
在 Megaparsec 中，不需要“尝试”：
λ：解析（字符串“abc”<|>字符串“abd”）“”“abd”
对“abd”
所以不知何故，在 Megaparsec 中，字符串解析器在失败时不会消耗输入。
我的问题是：
除了试验之外，我怎么会发现 Parsec 和 Megaparsec 之间的字符串解析器行为不同 - 我没有看到它记录在案？
如果解析器失败，我如何轻松（即，无需实验）一般地判断解析器是否使用输入？
谢谢你。