Construire un parser
Plusieurs choix
- Un parseur type combinateur monadique : performance ? lisibilité ?
- Un parseur de type LL1, écrit à la main, avec une preuve que la syntaxe est bien LL1 : performance ? Lisibilité ?
- Un parseur de type LR ... yacc !
- Un parseur de stream en utilisant les techniques ocaml ...