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 UAA11789; Mon, 26 Apr 2004 20:25:56 +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 UAA11702 for ; Mon, 26 Apr 2004 20:25:54 +0200 (MET DST) Received: from rabelais.socialtools.net (rabelais.socialtools.net [81.2.94.243]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3QIPqYM030084 for ; Mon, 26 Apr 2004 20:25:53 +0200 Received: by rabelais.socialtools.net (Postfix, from userid 108) id 80F4F232DE; Mon, 26 Apr 2004 19:25:52 +0100 (BST) Received: from socialtools.net (chaucer.socialtools.net [81.2.94.242]) by rabelais.socialtools.net (Postfix) with ESMTP id 53A3B232DB; Mon, 26 Apr 2004 19:25:51 +0100 (BST) Message-ID: <408D5417.8000701@socialtools.net> Date: Mon, 26 Apr 2004 19:25:27 +0100 From: Benjamin Geer User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-gb, en, fr, it MIME-Version: 1.0 To: Jacques GARRIGUE Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Proposal: community standard library project References: <20040423211628.GE6783@excelhustler.com> <20040423222829.GH848@speakeasy.org> <408A64CB.40500@socialtools.net> <20040426.104521.68535941.garrigue@kurims.kyoto-u.ac.jp> In-Reply-To: <20040426.104521.68535941.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on rabelais.socialtools.net X-Spam-Status: No, hits=-4.9 required=5.0 tests=BAYES_00 autolearn=ham version=2.63 X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 jacques:01 api:01 functors:01 extlib:01 camomile:01 ocamlnet:01 lablgtk:01 generic:01 python:01 goodwill:99 reviews:99 ocaml:01 caml:01 gtk:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques GARRIGUE wrote: > ocaml gives you many ways to define an API for any > functionality. And does not try to decide which is better. So you can > only end up with duplicate libraries, according to personal tastes. I don't mind whether a standard library uses classes or functors, or both; what I care about is that different parts of it should be able to interact easily with each other. Therefore I'm delighted to see the discussion currently going on about integrating I/O channels across ExtLib, Camomile and ocamlnet. It seems to me that different styles are suited to different situations. For example, I think most people, regardless of their preferred programming style, would agree that you made the right choice by using an object-oriented style for LablGTK. Someone who wants a Caml interface to GTK will almost certainly be happy to adapt to the style you chose. Moreover, the same issue exists (though perhaps to a lesser extent) in many popular languages. C++, for example, supports object-oriented and generic styles. Lisp supports functional and object-oriented styles. Python supports imperative, object-oriented and functional styles. I'm sure that, with sufficient goodwill, discussions like the ones going on now can lead to solutions that most people will be satisfied with. > The 3rd point, I would rather see it as having more > meta-documentation, ie information on libraries without having to > download and install: requirements, extensiveness, quality of the > documentation, user reviews... Perhaps eventually GODI could support that kind of information. Ben ------------------- 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