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 OAA06921; Tue, 8 Apr 2003 14:03:34 +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 OAA06913 for ; Tue, 8 Apr 2003 14:03:33 +0200 (MET DST) Received: from grebe.mail.pas.earthlink.net (grebe.mail.pas.earthlink.net [207.217.120.46]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h38C3WX07659 for ; Tue, 8 Apr 2003 14:03:32 +0200 (MET DST) Received: from user-0cev2t6.cable.mindspring.com ([24.239.139.166] helo=[192.168.0.3]) by grebe.mail.pas.earthlink.net with esmtp (Exim 3.33 #1) id 192rp5-0003TN-00 for caml-list@inria.fr; Tue, 08 Apr 2003 05:03:31 -0700 Subject: Re: [Caml-list] Re: Wanted - General Purpose "Glue Logic" Data-Structures From: "Yaron M. Minsky" To: Caml List In-Reply-To: <20030408091229.GA7467@mail4.ai.univie.ac.at> References: <15993.10380.206589.498703@barrow.artisan.com> <16018.7894.703716.797621@katsura.parc.xerox.com> <20030408091229.GA7467@mail4.ai.univie.ac.at> Content-Type: text/plain Organization: Cornell University Message-Id: <1049803409.3739.13.camel@dragonfly.localdomain> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.3 Date: 08 Apr 2003 08:03:30 -0400 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 cornell:01 caml-list:01 glue:01 abstractions:01 argues:01 wheeler:01 res-library:01 keyid:01 arrays:01 compiler:01 implements:01 dummy:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Does anyone know if there's any hope of getting RES or a RES-like library into the standard distribution? Resizeable arrays seem like a pretty essential data structure, and the fact that you can't implement them nicely without breaking the standard compiler abstractions (due to the dummy value issue) argues in favor of including it in the distribution, I would think. Yaron On Tue, 2003-04-08 at 05:12, Markus Mottl wrote: > On Mon, 07 Apr 2003, Wheeler Ruml wrote: > > I saw Brian's recommendation of a priority queue, but wanted to > > mention that a resizable array would do here as well. > > The RES-library implements everything you need for that purpose and also > matches the signature of ordinary arrays: > > http://www.oefai.at/~markus/home/ocaml_sources.html#RES > > Regards, > Markus Mottl -- |--------/ Yaron M. Minsky \--------| |--------\ http://www.cs.cornell.edu/home/yminsky/ /--------| Open PGP --- KeyID B1FFD916 (new key as of Dec 4th) Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916 ------------------- 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