[Haskell-cafe] Consider adding recoverability to the vocabulary of parser combinators
compl.yue at gmail.com
Wed Oct 28 09:18:23 UTC 2020
(sorry for repost, seems GMail's html processing on my last email has
rendered it barely readable, so again with plain text here)
I'm still not fully clear about the confusion regarding megaparsec's
behavior that I posted lately here. But now comes to my mind that it may
have some problem rooted in the lacking of recoverability semantic with
respect to parser combinators, some quoting from
The *A note on backtracking* section
> Combinators in this module are defined in terms Applicative and
And `empty`'s doc:
> This parser fails unconditionally without providing any information about
the cause of the failure.
Clearly `empty` is used to express failure, but there is seemingly no
device to explicitly express whether a failure is recoverable. Then I
observed megaparsec's implicit rule as currently implemented is like:
*) a failure with no input consumed can be recovered by rest parsers
*) a failure with some input consumed can not be recovered by rest parsers
This works to great extent, but I would think the expressiveness can be
further extended for a parser from the application, to tell the library
that some input induces recoverable failure.
I have no expertise to suggest whether `MonadPlus` and/or `MonadFail` are
suitable devices to be considered, but as megaparsec has implemented
instances for them, I do feel some tweaks would be possible and meaningful.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe