Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Completeness of "Unix" run-time library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-03-19 (08:55)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: [Caml-list] Demande clarification nomenclature ocaml*

> There are two extlibs because two different people decided to
> release libraries filling in gaps in the standard library, using the
> obvious name, without knowing about the existance of another such
> effort. When the other extlib was announced quite a while ago, I
> talked with its author, and that the time neither one of us were
> willing to change names. Since then, the other one (That most people
> have mentioned here) doesn't seem to be being actively maintained
> the way mine is; as of a couple of days ago, when I checked, there
> hadn't been any commits to its CVS tree in months. That makes me, at
> least, even less likely to change my extlib's name than I was 6
> months ago.

La communaute ne semble meme pas capable de se mettre d'accord sur la
nomenclature de ses bibliotheques. Verra-t-on ensuite une querelle
pour savoir qui detient le veritable "ocamlmakefile", "ocamlxml" ou
encore "ocamlyacc" ?

Il me semble raisonnable que l'utilisateur ait une vision claire de ce
qui est officiellement developpe par l'INRIA et de ce qui ne l'est

Raison pour laquelle il me semble que l'INRIA devrait etre plus
vigilant au sujet de la nomenclature, par exemple en affirmant sa
primaute sur le suffixe ocaml* en demandant aux autres bibliotheques
de migrer vers caml* telle CamlImages, ou encore en demandant aux
contributeurs d'eviter des noms equivoques tels ExtLib.

Je me trouve apres coup bien aimable de n'avoir pas nomme Baire plutot
OCamlStdLib : c'est bien plus vendeur.

        Diego Olivier

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: