Haskell 的 parsec 库中的选择运算符

Question

Parsec 文件中关于<|> 的内容如下

这个组合器实现了选择。解析器 p q 首先应用 p。 如果成功，则返回 p 的值。如果 p 失败 使用任何输入，解析器 q 被尝试。这个组合器被定义 等于 MonadPlus 类的 mplus 成员和 (Control.Applicative.) Control.Applicative.Alternative 的成员。

<|>的回溯版如何实现？当p 消耗任何输入时它会回溯，这样q 可以再次应用于完整输入。

Answer 1

要启用回溯，您只需使用try，例如try p <|> q.

但是，请注意过度使用try 会损害解析器的性能。请考虑使用left factoring 您的语法，以尽可能消除常见的前缀。