From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA12718 for caml-redistribution@pauillac.inria.fr; Mon, 17 Apr 2000 21:04:26 +0200 (MET DST) Resent-Message-Id: <200004171904.VAA12718@pauillac.inria.fr> 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 RAA20897 for ; Mon, 17 Apr 2000 17:18:18 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA18949 for ; Mon, 17 Apr 2000 17:18:17 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id RAA12889; Mon, 17 Apr 2000 17:18:03 +0200 (MET DST) From: Markus Mottl Message-Id: <200004171518.RAA12889@miss.wu-wien.ac.at> Subject: Re: standard library request: purely functional data structures To: proff@iq.org (Julian Assange) Date: Mon, 17 Apr 2000 17:18:03 +0200 (MET DST) Cc: caml-list@inria.fr (OCAML) In-Reply-To: from "Julian Assange" at Apr 15, 2000 09:28:14 PM X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 17 Apr 2000 21:04:26 +0200 Resent-To: caml-redistribution@pauillac.inria.fr > Having recently read Chris Okasaki's book by the same name, and noticed > that there is 3rd party ocaml code for the book, I'd like to request > that a version of this code be distributed with the standard library > (or at least the standard distribution), as: > > 1) The library is well documented (by the book) :-) I take this "(by the book)" as friendly hint to improve documentation of the sources - sometime... > 2) The routines are fast and of varying flexibility > 3) The complixity and other behavior is well analysed > 4) Chris's book contains haskell and sml97 code. A > similar library in ocaml makes it much easier to > move to and from ocaml. At the moment I am not convinced that it is of much use to incorporate Okasaki's purely functional datastructures into the standard distribution "as is". Most of the modules lack crucial functionality - the primary intention was to only demonstrate the most basic operations. It would surely be nice to extend them, but what concerns me, I am currently under too heavy workload (exam time) to start this... any volunteers? Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl