Un bon analyseur ocaml? [fermé]

Question

Je cherche une bonne bibliothèque d’analyses ocaml qui ne soit pas un dérivé de flex / bison. Idéalement, j'aimerais une bibliothèque de combinateurs monadiques sur le modèle de parsec, mais je ne trouve rien.

Je voudrais utiliser haskell, mais faire des bindings pour haskell s'avère plus fastidieux que je ne le pensais au départ.

A bientôt,

Duane

Answer 1

Voici une bibliothèque , via Google. (Ce qui a également amené ceci et this , qui répertorie plusieurs bibliothèques beaucoup plus pertinentes.)

Lorsque j’ai écrit un analyseur combinateur dans ML, il s’est avéré plutôt fastidieux à utiliser en raison de la restriction de valeur et de l’évaluation minutieuse, ce qui vous a obligé à éta-développer vos règles de grammaire. On dit qu'Ocaml est plus détendu à propos de la restriction de valeur, cependant - peut-être que vous aurez une partie de cette douleur.

Answer 2

Dans le monde OCaml, analyseurs de flux et Camlp4 sont les deux alternatives les plus courantes. Ces deux éléments ont été décrits en détail dans les précédents Journal OCaml .

Les combinateurs d’analyseurs monadiques sont relativement rares dans OCaml, en grande partie parce qu’il existe plusieurs bibliothèques de niveau supérieur et bien plus efficaces.