From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA02116; Thu, 3 May 2001 22:07:24 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA02418 for ; Thu, 3 May 2001 22:07:23 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f43K7ML18998 for ; Thu, 3 May 2001 22:07:22 +0200 (MET DST) Received: from (filliatr@localhost) by ext.lri.fr (8.11.1/jtpda-5.3.2) id f43K7Kb08075 ; Thu, 3 May 2001 22:07:20 +0200 (MET DST) From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15089.47735.317609.314974@ext> Date: Thu, 3 May 2001 22:07:19 +0200 (MET DST) To: Guy Yeterian Cc: caml-list@inria.fr Subject: Re: [Caml-list] =?iso-8859-1?Q?r=E9cup=E9ration?= de =?iso-8859-1?Q?param=E8tre?= In-Reply-To: <3AF1743B.7CF7CA78@mail.dotcom.fr> References: <3AF1743B.7CF7CA78@mail.dotcom.fr> X-Mailer: VM 6.49 under Emacs 20.7.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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