Discussion :

[sulu45]

Bonsoir,

Je débute dans l'utilisation de camlp4 (la nouvelle mouture, intégrée à OCaml >= 3.10) et je recherche un exemple relativement simple pour illustrer la transformation d'un code source d'origine et non pas pour ajouter une forme syntaxique. Autrement dit, un exemple de filtre si j'ai bien compris.

Je voudrais par exemple remplacer les expressions "IF x THEN y ELSE z" en une fonction OCaml qui aurait comme paramètres les expressions x, y et z. L'objectif final est de pouvoir transformer un sous-ensemble du langage OCaml vers un autre langage.

J'ai consulté le wiki dédié au nouveau camlp4 mais je dois avouer que je suis totalement perdu... J'ai également consulté la présentation à l'adresse http://www.venge.net/graydon/talks/mkc/html/index.html qui explique comment construire un DSL avec camlp4 mais il utilise l'ancienne version. Donc je pense avoir compris le principe mais j'ai maintenant beaucoup de mal à trouver de la doc orientée débutant pour passer à la pratique.

Merci beaucoup pour votre aide.
Stéphane.

[gasche]

Oui, ce que tu cherches sont les filtres.

Un filtre c'est assez simple, c'est un machin qui doit récupérer une AST (le code source déjà parsé par Camlp4) et renvoyer une autre AST, avec tes modifs. Pour cela tu peux t'aider des classes Ast.fold et Ast.map (qui sont des instances des machins louches produits par FoldGenerator et MapGenerator) qui aident à traverser et tripoter récursivement un AST.

Si tu veux un exemple de filtre, j'en ai écrit un récemment pour répondre au besoin de quelqu'un :
http://bluestorm.info/camlp4/dev/cor...object.ml.html

Si tu as des questions, il faut les poser (par contre j'ai pas de bonne URL de documentation sous la main, pour ma part j'ai appris en feuilletant les sources). J'ai aussi uploadé une documentation ocamldoc des signatures camlp4 ici : http://bluestorm.info/camlp4/camlp4-doc/Sig.html

[SpiceGuid]

Je voudrais par exemple remplacer les expressions "IF x THEN y ELSE z" en une fonction OCaml qui aurait comme paramètres les expressions x, y et z.

Il ne faut pas trop attendre de camlp4, même si tu arrives à rendre paresseuses les expressions y et z la perte de performance risque être conséquente, Ocaml n'est pas capable d'optimiser la paresse comme le ferait Haskell.

[gasche]

Si j'ai bien compris, il voudrait pouvoir transformer un bout de code OCaml en un AST représentant la même chose dans son langage. Il transformerait donc "if x then y else z" en quelque chose comme "If(Exp x, Exp y, Exp z)", pour pouvoir le manipuler ensuite comme un objet de son langage.

Dans ce cas, la paresse ne joue pas. Et même si c'était le cas, je ne pense pas qu'une traduction avec des (fun () -> y), ou en CPS, ne soit si couteuse que ça. Ça n'est effectivement pas aussi bien optimisé qu'avec GHC ou MLton, mais ça reste assez raisonnable. À voir avec son usage, mais je pense que tu chasses de fausses mauvaises herbes ici.

[sulu45]

Merci beaucoup pour vos réponses. Les liens donnés par bluestorm vont m'aider à y voir plus clair.

Par ailleurs, je confirme la dernière réponse de bluestorm. Le but serait de transformer du code OCaml vers son équivalent en un langage interprété. Pour l'instant, l'aspect performance n'est pas le plus important.

Encore merci pour votre aide.

Stéphane.