[Haskell-cafe] Hierachical abstraction

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Jan 28 19:58:57 EST 2010

On 2010-01-28 20:31, Luke Palmer wrote:
> I could be mistaken, but at least there are both Applicative and Arrow
> parser libraries. I don't know how to classify the language that they
> parse -- it is not strictly context-free. It corresponds roughly to
> context-free where certain types of infinite chains are allowed.

If the token set is finite you don't get any expressive advantage from a
monadic parser combinator library (in a lazy setting): you can parse any
decidable language using a simple library with an applicative functor


More information about the Haskell-Cafe mailing list