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 MAA11923; Tue, 24 Sep 2002 12:41:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA12135 for ; Tue, 24 Sep 2002 12:41:45 +0200 (MET DST) Received: from seebmr02 (mailrelay-drp.electrabel.be [194.29.97.133]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g8OAfi511417 for ; Tue, 24 Sep 2002 12:41:44 +0200 (MET DST) Received: from seebex05.eib.electrabel.be (SEEBEX05.EIB.ELECTRABEL.COM [171.26.236.55]) by seebmr02 (3.05.6.9) with ESMTP id MAA24835; Tue, 24 Sep 2002 12:35:40 +0200 From: Sebastien.deMentendeHorne@electrabel.com Received: by seebex05.eib.electrabel.be with Internet Mail Service (5.5.2653.19) id ; Tue, 24 Sep 2002 12:40:24 +0200 Message-ID: <8D1414482878D4119AEE00508B6C9074089664C6@seacex02.eib.electrabel.be> To: markus@oefai.at Cc: caml-list@inria.fr Subject: RE: [Caml-list] choosing modules at runtime Date: Tue, 24 Sep 2002 12:40:17 +0200 X-Mailer: Internet Mail Service (5.5.2653.19) MIME-Version: 1.0 (Generated by NET-TEL Mailguard SMTP version 3.5.6.9) Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hmmm, by the way, if a plugin architecture is needed, are we facing the = same problem ? I did look at OCaml some weeks ago for an application which is at the = moment written in C++ and that needs a plugin architecture. There are virtual classes on one side for specifying the interface of = the plugin (in ocaml, I think it would be module signatures) and concrete classes that inherits from the virtual ones and that implements in = different ways the same signature (module implementations in ocaml). The = algorithms are generic as they are written for the virtual classes. The loading of the different implementation is done dynamically and dispatching of methods is done via polymorphism. Is first class modules the elegant solution for this plugin framework = (OCaml not useful here)? Does Ocaml offer another solution for this problem ? Best regards, S=E9bastien de Menten | ELECTRABEL=20 Tel: ++32 10 48 51 76 | Risk Asset and Liability = Management,=20 Fax: ++32 10 48 51 09 | Place de l'universit=E9, 16, = 4=E8me =E9tage Gsm: ++32 478 789 444 | B-1348 Louvain-la-Neuve, BELGIUM = ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners