Towards Efficient, Typed LR Parsers

13 years 4 months ago
Towards Efficient, Typed LR Parsers
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, using generalized algebraic data types, it is possible to produce parsers that are well-typed (so they cannot unexpectedly crash or fail) and nevertheless efficient. This is a pleasing result as well as an illustration of the new expressiveness offered by generalized algebraic data types. Key words: parsing, type safety, generalized algebraic data types
François Pottier, Yann Régis-Gianas
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Authors François Pottier, Yann Régis-Gianas
Comments (0)