Hello All,

I am trying to interest a young collegue Franck VEDRINE
<franck.vedrine@cea.fr> 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