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 EAA23594; Tue, 6 May 2003 04:50:13 +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 EAA23365 for ; Tue, 6 May 2003 04:50:11 +0200 (MET DST) Received: from psyche.kaba.or.jp (psyche.kaba.or.jp [202.249.19.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h462o9H15848 for ; Tue, 6 May 2003 04:50:10 +0200 (MET DST) Received: from mail.kaba.or.jp (cascade.kaba.or.jp [202.249.19.34]) by psyche.kaba.or.jp (Postfix) with ESMTP id 9F984229F1; Tue, 6 May 2003 11:50:07 +0900 (JST) Received: from WARP (dhcp04.kaba.or.jp [202.249.19.39]) by mail.kaba.or.jp (Postfix) with SMTP id 6AEF649A6C; Tue, 6 May 2003 11:50:07 +0900 (JST) Message-ID: <02c801c3137a$0d568e20$2713f9ca@WARP> From: "Nicolas Cannasse" To: "John Max Skaller" , "Yaron M. Minsky" Cc: "Caml List" References: <1052135863.2398.6046.camel@dragonfly.localdomain> <3EB6680B.5000702@ozemail.com.au> Subject: Re: [Caml-list] Two types of efficiency (Was Efficiency of 'a list) Date: Tue, 6 May 2003 11:49:02 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 functorial:01 extlib:01 enum:01 sourceforge:01 arrays:01 ocaml:01 nicolas:01 interfaces:01 syntax:02 conversions:02 functionnal:02 purely:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > But before the Ocaml team rushes ahead and provides > it *in addition* to the existing functorial interface, > it might be a good idea to enquire about how the two > are related on a theoretical level. It might be an idea > to devise some principle for deciding which kinds of > interfaces to provide in a library, since the issue is > likely to arise again. > > It may even be an idea to figure out if the theoretical > relationship between the two representations can somehow > be connected with language syntax so the transformation > from one kind to the other can be done easily by > a dumb user (like me), obviating the need for > providing an exponential set of interfaces. Few people here are currently running the "ExtLib" - ocaml extended library - project, and are trying to answer theses questions. For an example of a structure that can be used to convert from and between several different data structures, you could have a look at the Enum module from the ExtLib CVS here : http://sourceforge.net/projects/ocaml-lib This is a purely functionnal way of dealing with conversions between Arrays, Lists, etc. with lazy-functionnal support that enable you to map-and-convert a list to an array without having to build an intermediate data structure for storing mapped elements. Nicolas Cannasse ------------------- 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