English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] native code optimization priorities
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-11-06 (15:54)
From: Xavier Leroy <xleroy@p...>
Subject: Re: [Caml-list] compiler patches in the CDK
> >  4.  Are numerical operations an important area for ocaml to
> >  4.  succeed?  Put another way, if an optimization helps numerical
> >  4.  code but does not help other code (or even slightly hurts it),
> >  4.  how would that patch be received?
> Notice that, as discussed before on this mailing-list, I would welcome
> such a patch in the CDK.

This is one thing I'm not sure to understand about the CDK.

My initial view of the CDK is as a pre-packaged binary installation of
OCaml plus lots of user-contributed libraries and tools: a very
convenient thing indeed for users who want an OCaml development
environment that works and that is rich enough, without the hassle of
tracking down and installing all the bits themselves.  Excellent idea.

But then we learn that the CDK also includes some experimental, not
much tested patches to the OCaml compilers, and that by doing this
Fabrice intends the CDK to serve also as a beta-test for these
experimental extensions and changes.  

So, is the CDK a stable, convenient distribution for users who
want something that works with no hassle, or an experimental
distribution for users who want to sit on the bleeding edge and
beta-test things?

Just curious.

- Xavier Leroy
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr