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 XAA04035; Thu, 3 May 2001 23:38:29 +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 XAA03872 for ; Thu, 3 May 2001 23:38:28 +0200 (MET DST) Received: from areca.wanadoo.fr (smtp-rt-4.wanadoo.fr [193.252.19.156]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f43LcSL19917 for ; Thu, 3 May 2001 23:38:28 +0200 (MET DST) Received: from citronier.wanadoo.fr (193.252.19.222) by areca.wanadoo.fr; 3 May 2001 23:38:28 +0200 Received: from debian (62.161.106.47) by citronier.wanadoo.fr; 3 May 2001 23:38:07 +0200 Received: from moi by debian with local (Exim 3.22 #1 (Debian)) id 14vRuR-0000JC-00 for ; Fri, 04 May 2001 00:49:19 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] =?iso-8859-1?q?r=E9cup=E9ration?= de =?iso-8859-1?q?param=E8tre?= References: <3AF1743B.7CF7CA78@mail.dotcom.fr> <15089.47735.317609.314974@ext> From: Remi VANICAT Date: 04 May 2001 00:49:19 +0200 In-Reply-To: <15089.47735.317609.314974@ext> Message-ID: <87y9senj4g.dlv@labri.u-bordeaux.fr> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.102 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jean-Christophe Filliatre 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