[Caml-list] récupération de paramètre

[Caml-list] récupération de paramètre

[Guy Yeterian]

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

Re: [Caml-list] récupération de paramètre

[Jean-Christophe Filliatre]

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

Re: [Caml-list] récupération de paramètre

[Remi VANICAT]

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

Re: [Caml-list] récupération de paramètre

[Fabrice Le Fessant]

In Ocaml, you can use the asmdynlink library, which provides an "eval"
function for bytecode and native programs... and is included in the
CDK :)

- Fabrice

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr

Re: [Caml-list] récupération de paramètre

[Dmitry Lomov]

Unfortunately, I do not know French, so I did not quite got
what the original poster needs, but as an alteranative to a heavy weight
'eval' function from asmdynlink (that essentially invokes the whole
Objective Caml compiler to do the job of translating a single expression), 
Dynamic Caml library might be used.
See http://oops.tepkom.ru/dml.

Regards,
Dmitry

On Mon, 7 May 2001, Fabrice Le Fessant wrote:

> 
> In Ocaml, you can use the asmdynlink library, which provides an "eval"
> function for bytecode and native programs... and is included in the
> CDK :)
> 
> - Fabrice

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr