Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr> writes:

> Il n'y a pas d'acces au compilateur Caml aussi simple que
> "function_of_string" (comment cela pourrait-il etre statiquement type,
> d'ailleurs ?) Il y a cependant plusieurs manieres de faire, dont entre
> autres :
> 
>   - dans un toplevel, l'inclusion d'un morceau de code avec #use
>     (qui peut par exemple definir une fonction f, la stocker dans
>     une reference, etc.)
> 
>   - la compilation d'un module definissant une fonction f (avec un
>     appel externe au compilo Caml) puis un chargement dynamique de ce
>     code avec le module Dynlink
> 
>   - la definition de votre propre type pour les fonctions dont vous
>     avez besoin, le parseur et l'interpreteur associes, bref votre
>     mini Caml dans Caml :-)
> 
> Cordialement,

il y a aussi la solution dynamic caml (http://oops.tepkom.ru/dml/)

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr