Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Bibliothèques_d'expressions_régulières_de_Ca ml_3.07
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: [Caml-list] Bibliothèques_d'expressions_régulières_de_Ca ml_3.07
    Bonjour,

Je viens d'examiner la nouvelle bibliothèque d'expressions régulières
incluse dans Caml 3.07 (Str).

Je ne suis pas certain d'avoir compris la totalité de son code mais il
semblerait qu'elle transforme l'expression régulière en un automate
avec retour en arrière (backtracking automata) compilé ensuite vers du
byte-code spécialisé. Ensuite en fonction de la sémantique désirée, un
petit interprète C exécute ce code.

Cette méthode d'implémentation est pour le moins inusuelle, les plus
courantes étant les interprètes récursifs pour les automates avec
retour en arrière (par exemple SML/NJ) ou la génération d'un automate
déterministe représenté par des tables soit statiquement (Lex) soit
dynamiquement (Regexp, LibRE).

A priori ce doit être beaucoup plus rapide. Y-a-il des mesures de
performance par rapport aux autres bibliothèques Caml ? à des
bibliothèques C ?

Ce même byte-code semble pouvoir servir aussi comme cible pour
d'autres applications de même type tel un YACC qui génèrerait des
parseurs dynamiquement ou encore le CamlP4. Ce byte-code sera-t-il
stabilisé ? L'équipe Cristal a-t-elle des projets en ce sens ?

    Cordialement,

        Diego Olivier



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners