From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 3E2DBBBC1 for ; Wed, 5 Mar 2008 16:44:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACpPzkfAXQImh2dsb2JhbACQcgEBAQgKKZo6 X-IronPort-AV: E=Sophos;i="4.25,451,1199660400"; d="scan'208";a="8995858" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Mar 2008 16:44:31 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m25FiULF028144 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 5 Mar 2008 16:44:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CABZOzkdDz4He/2dsb2JhbACrcQ X-IronPort-AV: E=Sophos;i="4.25,451,1199660400"; d="scan'208";a="23398162" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Mar 2008 16:44:29 +0100 Received: from aquarium.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTP id E65521889B for ; Wed, 5 Mar 2008 15:44:27 +0000 (UTC) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id 36AAF1258E4; Wed, 5 Mar 2008 16:43:54 +0100 (CET) Date: Wed, 5 Mar 2008 16:43:54 +0100 From: Stefano Zacchiroli To: Caml-list List Subject: Re: [Caml-list] OSR - "Batteries included" - Standardizing syntax extensions and extra libraries Message-ID: <20080305154354.GA21064@takhisis.invalid> Mail-Followup-To: Caml-list List References: <47CD82F3.20600@exalead.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <47CD82F3.20600@exalead.com> User-Agent: Mutt/1.5.17+20080114 (2008-01-14) X-Miltered: at discorde with ID 47CEBFDE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 syntax:01 0100,:01 berke:01 durak:01 syntax:01 recursive:01 ocaml:01 cheers:01 zacchiroli:01 zack:01 unibo:01 hacks:01 wrote:01 On Tue, Mar 04, 2008 at 06:12:19PM +0100, Berke Durak wrote: > The idea is to define, as part of the OSR process, a list of > "standard" syntax extensions and libraries. Even though the whole thread seems to be syntax extension -oriented, I had from this short sentence that you were interested in libraries as well. On the basis of this assumption I really would like to see the "batteries included" distribution to come with ExtLib in it and, really important, open-ed by default. That is, when I use List.map in my programs I want that List.map to be the one from ExtLib rather than the usual, non-tail recursive version. Similarly, I want to be able to use new functions defined in ExtList as they were in List without the need to open anything. Actually, I was going to mock up by myself a proof of concept distribution of OCaml with extlib build during the build process and some hacks to open it by default. But given that you've started this thread I guess the efforts should be better merged. Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{upsilon.cc,cs.unibo.it,debian.org} -<%>- http://upsilon.cc/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time