Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] récupération de paramètre
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] récupération de paramètre

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,
-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr


Guy Yeterian writes:
 > Bonjour,
 > 
 > 	si je construis un programme qui prend comme paramètre une fonction
 > comment puis-je récupérer cette fonction et l'utiliser sans déclancher
 > une erreur de type. (sys__command_line est un vecteur de string et je ne
 > connais pas de fonction du type function_of_string en caml-light ?)
 > 
 > 	le programme en question est une dichotomie sur une fonction  style
 > 		dicho(f,a,b,e)
 > 
 > 	avec (evidemment) :
 > 	f de type float -> float
 > 	a de type float ...
 > 
 > si vous avez une idée ??
 > 
 > merci d'avance.
 > -------------------
 > To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr