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 MAA26865; Mon, 26 Jul 2004 12:54:02 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 MAA27436 for ; Mon, 26 Jul 2004 12:54:01 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from mattam.ath.cx (f06a-10-111.d1.club-internet.fr [212.194.129.111]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i6QArxSH005202 for ; Mon, 26 Jul 2004 12:53:59 +0200 Received: (qmail 30316 invoked from network); 26 Jul 2004 12:57:36 +0200 Received: from unknown (HELO cocaine.Home) (192.168.0.253) by gateway with DES-CBC3-SHA encrypted SMTP; 26 Jul 2004 12:57:36 +0200 Received: by cocaine.Home (sSMTP sendmail emulation); Mon, 26 Jul 2004 12:40:51 +0200 Date: Mon, 26 Jul 2004 12:40:51 +0200 From: Matthieu Sozeau To: caml-list@inria.fr Subject: Re: [Caml-list] Map + Set Message-ID: <20040726104051.GA9736@mattam.ath.cx> Mail-Followup-To: caml-list@inria.fr References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="RnlQjJ0d97Da+TV1" Content-Disposition: inline In-Reply-To: Organization: /home X-URL: http://mattam.org User-Agent: Mutt/1.5.6i X-Miltered: at concorde with ID 4104E2C7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; matthieu:01 altern:01 caml-list:01 2004:99 val:01 elt:01 elt:01 val:01 implemented:01 salesman:99 ma'am:99 python:01 ocaml:01 caml:01 int:01 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --RnlQjJ0d97Da+TV1 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Jul 25, 2004 at 12:01:03PM -0500, Brian Hurt wrote: > On Sun, 25 Jul 2004, Martin Jambon wrote: >=20 > A better interface might be: >=20 > val find: (elt -> int) -> t -> elt Why an int ? Isn't a boolean enough ? =20 > There is a lot of functionality I'd like to be able to add to map and set= =2E =20 > I find myself reimplementing them on a regular basis myself (and no, I > haven't thought of a better solution). =20 Apart from "val of_list : elt list -> t" (a one liner) and the find function (a fold with an exception or using `exists` and keeping a reference, which indicates, I think, that it should be implemented=20 directly in set.ml), i don't remember truly missing functions.=20 What are those ? > Many people on this list don't like modules, however. That seems like a weird opinion to me, and mine is that most OCaml hackers are really caml hackers who don't want to know about the OO part. --=20 "Are you sure you're not an encyclopedia salesman?" No, Ma'am. Just a burglar, come to ransack the flat." -- Monty Python --RnlQjJ0d97Da+TV1 Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFBBN+zLp2DOi1vGpoRAoQmAJ4wSNdCqLqYfNXMiMeTqv+YYWjZwQCcD/TS sq2ubl5DJUEXp5ZgyK9RxwA= =JLNR -----END PGP SIGNATURE----- --RnlQjJ0d97Da+TV1-- ------------------- 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