From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA07626 for caml-red; Fri, 17 Nov 2000 13:31:22 +0100 (MET) 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 NAA16485 for ; Fri, 17 Nov 2000 13:14:42 +0100 (MET) Received: from muguet.saclay.cea.fr (muguet.saclay.cea.fr [132.166.192.6]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eAHCEf510930 for ; Fri, 17 Nov 2000 13:14:41 +0100 (MET) Received: from harpie.saclay.cea.fr (harpie.saclay.cea.fr [132.166.133.152]) by muguet.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.2.D20+Y2K) with ESMTP id NAA18643; Fri, 17 Nov 2000 13:14:37 +0100 (MET) Received: by harpie.saclay.cea.fr (8.8.8+Sun/CEANET.2.0.1) id NAA23395; Fri, 17 Nov 2000 13:14:50 +0100 (MET) From: STARYNKEVITCH Basile MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14869.8506.203392.805459@gargle.gargle.HOWL> Date: Fri, 17 Nov 2000 13:14:50 +0100 To: Subject: Real excellent object oriented source code examples of Ocaml X-Mailer: VM 6.76 under 21.1 (patch 12) "Channel Islands" XEmacs Lucid Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr Hello All, I am trying to interest a young collegue Franck VEDRINE to Ocaml-3.00. He is an excellent C++ coder and a respected young specialist of abstract interpretation (on which he got a PhD recently -regarding abstract interpretation of C++ code). We are both working in the domain of static analysis of embedded C code (eg critical C code in nuclear plants or aircrafts) using abstract interpretation techniques and are supposed to deliver some working prototype (sadly proprietary) tools on that subject. Franck wants to see real good Ocaml-3 code using all -or most of- the fancy advanced object-oriented features (with multiple inheritance, class types, functors, etc...). And I did not found much of such code (e.g. OO features are almost unused in the Ocaml compiler). I am trying to show him that most of the advanced features of C++ (templates, overloading, multiple inheritance) have their equivalent in Ocaml thru real source code (or that they are less useful, like C++ overloading). I did not yet convince Franck that functional programming has many advantages of OO style -at least in our domain of static analysis (on which Franck is an expert and I am still a newscomer)-. So I am sticked to exhibit excellent object oriented Ocaml code. I tried to show the interest of garbage collection by coding a precise [mostly copying generational, with some finalized marked objects] garbage collector in C++ (conservative GCs à la Boehm or Barlett was considered not enough safe at my place at that time). So I would believe that Franck knows somehow the interest of GC today - and the possibility of efficient garbage collection in practice. I initiated on this Ocaml mailing list in july 1999 a very remotely related thread on the subject "convincing management to switch to Ocaml" (I did not succeed on that point, but I am still trying....) see for instance "http://pauillac.inria.fr/bin/wilma_hiliter/caml-list/199907/msg00055.html?line=3#hilite" Does any one have a nearly complete list of OO ocaml code? (I know about LablGtk, and the ocamlopt machine code emitter) Regards ================================ Court résumé francais: [[short french abstract]] Bonjour, je cherche a convaincre un excellent collegue - Franck VEDRINE- (specialiste de C++ et expert en interpretation abstraite) de l interet d Ocaml. J ai donc besoin de code source Ocaml d excellente qualité utilisant toutes (ou la majorité) des possibilites de programmation orientée objet d Ocaml-3.00. Franck est un jeune specialiste de l'analyse statique (par interpretation abstraite) de code -un domaine [analyse statique de code critique en C] où nous travaillons ensemble mais où je suis encore débutant. Cordialement ================================ N.B. Any opinions expressed here are only mine, and not of my organization. N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA. --------------------------------------------------------------------- Basile STARYNKEVITCH ---- Commissariat à l Energie Atomique DTA/LETI/DEIN/SLA * CEA/Saclay b.528 (p111f) * 91191 GIF/YVETTE CEDEX * France phone: 1,69.08.60.55; fax: 1.69.08.83.95 home: 1,46.65.45.53 email: Basile point Starynkevitch at cea point fr