haskell - Haskell 的 parsec 库中的选择运算符

Question

Parsec文件说以下关于 <|>

This combinator implements choice. The parser p <|> q first applies p. If it succeeds, the value of p is returned. If p fails without consuming any input, parser q is tried. This combinator is defined equal to the mplus member of the MonadPlus class and the (Control.Applicative.<|>) member of Control.Applicative.Alternative.

如何实现<|>的回溯版本？它在 p 时回溯消耗任何输入，例如 q可以再次应用于全输入。

Answer 1

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

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