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 WAA16126 for caml-red; Tue, 28 Nov 2000 22:26:30 +0100 (MET)
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 PAA27962 for <caml-list@pauillac.inria.fr>; Tue, 28 Nov 2000 15:12:53 +0100 (MET)
Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eASECqj29531;
	Tue, 28 Nov 2000 15:12:52 +0100 (MET)
Received: from calfor.lip6.fr (IDENT:root@calfor.lip6.fr [132.227.66.60])
          by isis.lip6.fr (8.9.3/jtpda-5.3.2) with ESMTP id PAA21770
          ; Tue, 28 Nov 2000 15:12:51 +0100
Received: from realg.lip6.fr (rr@realg.lip6.fr [132.227.66.16])
          by calfor.lip6.fr (8.8.7/jtpda-5.2) with ESMTP id PAA23633
          ; Tue, 28 Nov 2000 15:12:51 +0100
From: Renaud.Rioboo@lip6.fr
To: <caml-list@inria.fr>
Cc: foc@calfor.lip6.fr
Subject: Re: Real excellent object oriented source code examples of Ocaml
References: <14869.8506.203392.805459@gargle.gargle.HOWL>
Message-ID: <x4pujguqyw.fsf@calfor.lip6.fr>
Date: 28 Nov 2000 15:12:51 +0100
User-Agent: Gnus/5.0806 (Gnus v5.8.6) Emacs/20.7
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

STARYNKEVITCH Basile <Basile.Starynkevitch@cea.fr> writes:

> I am trying to interest a young collegue Franck VEDRINE
> <franck.vedrine@cea.fr> to Ocaml-3.00.

wish you luck.

> 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).

The goal of the Foc project is to have a certified computer algebra library,
and, as part of it we wrote a fairly complete library for abstract and
concrete mathematics which covers the basis for a computer agebra system.
Tthe Foc code is not really public, but is not secret either ; it is simply
not ready for public distribution.


<URL:http://www-calfor.lip6.fr/~foc> 

will give you an idea of what the project is about. 

As of excellency of the code, I don't really know, but you will find
comparisons with the Axiom computer algebra system on our page.

You will also find there an announcement for a meeting we will have on
december 21 and 22. You are welcome if you want to discuss the different
object oriented features we use in the library with us.

Regards,

                        R. Rioboo,
                        for the Foc Project