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 TAA24213 for caml-redistribution@pauillac.inria.fr; Tue, 14 Mar 2000 19:24:11 +0100 (MET) Resent-Message-Id: <200003141824.TAA24213@pauillac.inria.fr> 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 SAA11122 for ; Tue, 14 Mar 2000 18:53:44 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id SAA12692; Tue, 14 Mar 2000 18:53:45 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA11477; Tue, 14 Mar 2000 18:53:41 +0100 (MET) Message-ID: <20000314185341.44483@pauillac.inria.fr> Date: Tue, 14 Mar 2000 18:53:41 +0100 From: Pierre Weis To: Markus Mottl Cc: caml-list@inria.fr Subject: Re: additions to standard library? References: <20000312025409.61231@pauillac.inria.fr> <200003120239.DAA18581@miss.wu-wien.ac.at> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1 In-Reply-To: <200003120239.DAA18581@miss.wu-wien.ac.at>; from Markus Mottl on Sun, Mar 12, 2000 at 03:39:21AM +0100 Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 14 Mar 2000 19:24:11 +0100 Resent-To: caml-redistribution@pauillac.inria.fr > It is also not my intention to get over-featured libraries. I was just > wondering which would be the best way to propose reasonable additions > and/or contribute code. I am not out for a specific way to do this - I just > would like to know which way would be most appropriate for INRIA. It would > be disappointing for both sides if unwise decisions in this respect lead to > something like "diverging development". > > At the moment I have the feeling that some modules are indeed rather > under-featured. One can really not say that e.g. the "Char"-module boasts > with rich features, and some others (like the mentioned Set-module) would > also not suffer if functions like "partition" or "for_all", etc., are > added, especially considering the fact that these "settish" functions even > exist in the List-module. You're right: for the time being our libraries are in some sense minimalist (due to the ancient times problems with memory capacities of micro computers and 1.4 Mb floppies). It may be time now to get reasonably featured libraries. For instance, you mentioned few functions that sound adequate to be added (in the first place because there are not a zillion of them). > > On the other hand, I don't think it would be a bad thing if more > > people contributed to the development of O'Caml. > > Definitely! Though, there should be some standard way to contribute so that > people don't step on each other's toes. Naturally, the opinion of the main > developers should set the direction... > > > Anyway, you can always set up a repository on Sourceforge or any > > similar site and see what happens. :-) > > I have thought about this, but I am not sure whether this provokes what you > mentioned: that the "regular" and the "extended" library diverge. On the > other hand, it seems that Sourceforge really provides for great features > for free software projects (CVS-repository, mailing lists, bug tracking, > patch manager, etc...), which would reduce at least the administrative > effort on INRIA's side... We also have the tools you mentioned to develop the Caml compiler (``CVS-repository, mailing lists, bug tracking, patch manager, etc...''), except may be ``etc...'':), so that there is no need to set up another site to develop the Caml standard library (on the other hand the use of SourceForge may be very relevant for other cooperative developments out of the Caml compiler). In any means we must avoid confusion and divergence with 2 different standard libraries. Caml users may contribute to the wish list associated to the caml bugs tracking system: you may contribute in a useful way if you also provide the code associated to your wishes. Best regards, -- Pierre Weis INRIA, Projet Cristal, http://pauillac.inria.fr/~weis