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 OAA07905; Fri, 21 Feb 2003 14:47:40 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 OAA08112 for ; Fri, 21 Feb 2003 14:47:39 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h1LDldH23275 for ; Fri, 21 Feb 2003 14:47:39 +0100 (MET) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id h1LDlZM06726 for ; Fri, 21 Feb 2003 14:47:36 +0100 (CET) Received: from (george@localhost) by clipper.ens.fr (8.12.3/jb-1.1) Date: Fri, 21 Feb 2003 14:47:35 +0100 From: Nicolas George To: caml-list@inria.fr Subject: Re: [Caml-list] OCaml standard library improvement Message-ID: <20030221134735.GA6188@clipper.ens.fr> References: <20030218180341.GA267@first.in-berlin.de> <20030220104343.B27056@pauillac.inria.fr> <20030220165448.GD5717@lordsoth.takhisis.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="T4sUOijqQbZv57TR" Content-Disposition: inline In-Reply-To: <20030220165448.GD5717@lordsoth.takhisis.org> User-Agent: Mutt/1.4 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --T4sUOijqQbZv57TR Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le tridi 3 vent=F4se, an CCXI, Stefano Zacchiroli a =E9crit=A0: > I'm collecting from time to time a set of functions that can be easily > added to the standard library to fill this gap. Probably a lot of other > OCaml programmers are doing the same. Is there any chance to see this > functions in the standard library? There is a problem to solve before it: the confusion between modules (used as namespace units) and compilation units. Supose you have a large set of string functions, tu split, search for words, replace, and so on. You want them all in one module, since you do not want to remember that split_on_char is in String42, but split_on_chars is in String17. But you do not want that as soon as you use the trivial split_on_char function, your resulting binary includes all the bloat for KMP word search. --T4sUOijqQbZv57TR Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.0 (SunOS) iD8DBQE+Vi32sGPZlzblTJMRAko5AKC71cVCOAqkYip5DB4W4XDhMXxGkgCfXtEO 7NI32f0hUqW9SWda/HBV86E= =ktfE -----END PGP SIGNATURE----- --T4sUOijqQbZv57TR-- ------------------- 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