×

Parsing permutation phrases. (English) Zbl 1063.68028

Summary: A permutation phrase is a sequence of elements (possibly of different types) in which each element occurs exactly once and the order is irrelevant. Some of the permutable elements may be optional. We show how to extend a parser combinator library with support for parsing such free-order constructs. A user of the library can easily write parsers for permutation phrases and does not need to care about checking and reordering the recognized elements. Applications include the generation of parsers for attributes of XML tags and Haskell’s record syntax.

MSC:

68N18 Functional programming and lambda calculus
PDFBibTeX XMLCite
Full Text: DOI