Conclusion
Implemented but not described today: support for named nonterminals
Lessons learnt: having access to fancy language features doesn't make you a better programmer!
Related work and links
Introspective parsing combinators by Arthur I. Baars and S. Doaitse Swierstra: (
Type Safe, Self Inspecting Code
,
HW2004
)
Source code
for the combinators and examples in this presentation.
Haskell Tools from the Programatica Project