Traditional parsing combinators
- Backtracking parsers:
type P a = String -> Maybe (a,String)
- How to turn a failure into a list of successes:
type P a = String -> [(a,String)]
- More sophisticated implemtations are needed
- to get good error messages
- for efficiency (e.g. to avoid space leaks)
- How to extract documentation?