Re: Real excellent object oriented source code examples of Ocaml

[Renaud.Rioboo@lip6.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