From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA01456; Fri, 21 Jun 2002 21:33:27 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA01177 for caml-list@pauillac.inria.fr; Fri, 21 Jun 2002 21:33:26 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA32025 for ; Fri, 21 Jun 2002 18:16:08 +0200 (MET DST) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g5LGG8P25856 for ; Fri, 21 Jun 2002 18:16:08 +0200 (MET DST) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id SAA43218 for ; Fri, 21 Jun 2002 18:16:06 +0200 (CEST) Received: from d85.lama.univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.1/jtpda-5.4) with ESMTP id g5LGG1Tn021281 for ; Fri, 21 Jun 2002 18:16:01 +0200 Subject: [Caml-list] proposal for library From: Christophe Raffalli To: caml-list@inria.fr In-Reply-To: <20020620234233E.yoriyuki@mbg.sphere.ne.jp> References: <3D0FB722.6000009@baretta.com> <20020620132333.B2180@pauillac.inria.fr> <20020620115236.GD6822@fichte.ai.univie.ac.at> <3D11D519.2050906@baretta.com> <20020620234233E.yoriyuki@mbg.sphere.ne.jp> Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Mailer: Ximian Evolution 1.0.5-3mdk Date: 21 Jun 2002 18:16:26 +0200 Message-Id: <1024676186.1454.28.camel@d85.lama.univ-savoie.fr> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le jeu 20/06/2002 =E0 16:42, YAMAGATA yoriyuki a =E9crit : > From: Markus Mottl > Subject: Re: [Caml-list] Unix.file_descr -> int ??? > Date: Thu, 20 Jun 2002 13:52:37 +0200 >=20 > > It might be a good idea to define some set of rules that allows people > > external to INRIA to write libraries in such a way that they could be > > accepted in the standard distribution. >=20 > and some degree of disclosure of the future development plan, or at > least, what INRIA team is working now, would help. This would reduce > danger of duplicated works. Why not have a system of submission/referee for adding functions to existing library (I am often mising for instance the usual List.flat_map or List.rev_append in list.mli) or adding new library to the standard OCaml ?=20 There should exist some clearly written rules to respect, and the referees should check that these rules are respected. The referees could also ask for modification and so on .. I do not think the INRIA team spend a lot of time adapting the libraries when they do incompatible change to OCaml. And moreover, some libraries could be maintained outside of INRIA (by the guy who created the library) ? I think this is interesting, because we often write some small library of function that could be useful to every body ... so it is a nice way to share them. among the useful missing library that I am sure many people have allready written, there are: library for multiset (using Map or something better), partial order, etc ... Morever, people could also submit optimized replacement for existing libraries (using a compatible interface ans semantics, this is hard to check for the referre). So this way we could get nice, complete and efficient libraries for OCaml ! --=20 Christophe Raffalli Universit=E9 de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex t=E9l: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners