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 LAA04328; Mon, 2 Jun 2003 11:23:23 +0200 (MET DST) 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 LAA04448 for ; Mon, 2 Jun 2003 11:23:22 +0200 (MET DST) Received: from newext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h529NLT27546 for ; Mon, 2 Jun 2003 11:23:21 +0200 (MET DST) Received: from serveur-mail.lri.fr (serveur-mail [129.175.8.90]) by newext.lri.fr (8.12.9/jtpda-5.4) with ESMTP id h528xpGI005741 ; Mon, 2 Jun 2003 10:59:51 +0200 (MEST) Received: from serveur-demons (mail@serveur-demons [129.175.8.130]) by serveur-mail.lri.fr (8.11.6p2/jtpda-5.3.2) with ESMTP id h528xpg22175 ; Mon, 2 Jun 2003 10:59:51 +0200 (MEST) Received: from marche by serveur-demons with local (Exim 3.35 #1 (Debian)) id 19MlAU-0002Wb-00; Mon, 02 Jun 2003 10:59:50 +0200 From: Claude Marche MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <16091.4614.970049.141113@mailhost.lri.fr> Date: Mon, 2 Jun 2003 10:59:50 +0200 To: nr@eecs.harvard.edu (Norman Ramsey) Cc: caml-list@inria.fr Subject: Re: [Caml-list] implementing bit vectors in OCaml In-Reply-To: <20030601170317.002EF12F9CE@flatcoat.eecs.harvard.edu> References: <20030601170317.002EF12F9CE@flatcoat.eecs.harvard.edu> X-Mailer: VM 7.03 under Emacs 20.7.2 X-MailScanner: Found to be clean X-Spam: no; 0.00; lri:01 caml-list:01 vectors:01 ramsey:01 bitv:01 filliatr:01 paris-sud:01 phoneto:01 91405:01 orsay:01 faxto:01 ocaml:01 caml:01 norman:01 writes:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "Norman" == Norman Ramsey writes: Norman> We have a program that is spending a lot of time in set operations, Norman> and we're thinking of trying an imperative implementation based on bit vectors. Did you have a look at the caml hump ? The Bitv module may suit your needs. http://www.lri.fr/~filliatr/software.en.html -- | Claude Marché | mailto:Claude.Marche@lri.fr | | LRI - Bât. 490 | http://www.lri.fr/~marche/ | | Université de Paris-Sud | phoneto: +33 1 69 15 64 85 | | F-91405 ORSAY Cedex | faxto: +33 1 69 15 65 86 | ------------------- 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