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=2.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DF44CBBAF for ; Wed, 19 Nov 2008 04:47:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCAA4bI0nAXQIngWdsb2JhbACTGj4BARYisQ6BA4t9AQMBA4J2 X-IronPort-AV: E=Sophos;i="4.33,628,1220220000"; d="scan'208";a="31586374" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Nov 2008 04:47:28 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAJ3lSS9022452 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 19 Nov 2008 04:47:28 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAA4bI0nRVcbrkGdsb2JhbACTGj4BAQEBCQkMBxEDsQuBA4t9AQMBA4J2 X-IronPort-AV: E=Sophos;i="4.33,628,1220220000"; d="scan'208";a="17349060" Received: from rv-out-0506.google.com ([209.85.198.235]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Nov 2008 04:47:27 +0100 Received: by rv-out-0506.google.com with SMTP id k40so5658498rvb.57 for ; Tue, 18 Nov 2008 19:47:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=G8mXA5A5U3GzB3TTYBWipNlYskCbnliYxLnnqIflnwE=; b=E5B3NHpBdJeKSMZg8bN45h0AB5I1kIDf6Ifa6xD1qLZpX9hl/HoBwY3IAXpTY1U9QQ jR0S7Ot1YBHOrs/vzsA+5x20sEURCniqonBorRES6F1gBlLEOmEqFMXy+d17gKP73Alm TtWI5uIaoz6X2m8ftwXliVJh+tGDnLjjDvan8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=ZN1ZfuPCBeZpwwfMkZ5nwxy2kEdkcESj2jinwiP6V55fh4nLBEZVaDHMry1+1Io/fk XTchzVLTDABTcNKa3e2nxI7QS//rLpCr6JMzLFVUDu2unGOPtk14BLAY9aJCyxVMSzIs vOpFT9rZd2lQ81RXXpbO0orMR3vlbNEgH3zFc= Received: by 10.142.48.14 with SMTP id v14mr291551wfv.61.1227066446156; Tue, 18 Nov 2008 19:47:26 -0800 (PST) Received: by 10.143.161.19 with HTTP; Tue, 18 Nov 2008 19:47:25 -0800 (PST) Message-ID: <9d3ec8300811181947n225142b4g2de1661f48e9d32d@mail.gmail.com> Date: Tue, 18 Nov 2008 22:47:25 -0500 From: "Till Varoquaux" To: yminsky@gmail.com Subject: Re: [Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included Cc: "Alain Frisch" , "Zheng Li" , "David Teller" , "Richard Jones" , OCaml In-Reply-To: <891bd3390811181906t1f9ea9beh7d4e7621d45d7977@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1227002178.6170.25.camel@Blefuscu> <20081118100625.GA25627@annexia.org> <49229725.5090704@users.sourceforge.net> <1227007338.6170.39.camel@Blefuscu> <4922CCE9.7050304@frisch.fr> <891bd3390811181906t1f9ea9beh7d4e7621d45d7977@mail.gmail.com> X-Miltered: at concorde with ID 49238C50.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 mixin:01 namespaces:01 compiler:01 orthogonal:01 ocaml:01 univ-savoie:01 yaron:01 minsky:01 yminsky:01 chunks:01 frisch:01 frisch:01 beginner's:01 bug:01 Whilst not really answering your question I'd like to point out mixin modules [1]. This is a way to provide extensible modules, thus getting you a lot of you'd want from a namespace system. I would guess these would actually be harder to implement than namespaces; both seem to require compiler support to feel not too hackish. I'm guessing namespace support could be done in way that'd be fairly orthogonal to the rest of the typing pass. Maintaining the patch would then be a problem by itself.... If Batteries included or Core end up being big, coherent collections of libraries maybe there will be more of incentive to add namespacing in Ocaml. Till [1] http://www.lama.univ-savoie.fr/~hirschowitz/phd/ 2008/11/18 Yaron Minsky : > Do you have a sense of how hard this would be to fix? It would be lovely to > have some reasonable namespace control without having to take chunks of the > namespace as all-or-nothing pieces.... > > y > > On Tue, Nov 18, 2008 at 9:10 AM, Alain Frisch wrote: >> >> David Teller wrote: >>> >>> I thought the linker only linked in symbols which were actually used? >> >> No, it is not the case. >> >> The only automatic mechanism for code pruning is at the level of >> individual modules embedded in a library. As soon as you pack, you obtain a >> monolithic module which can only be linked as a whole. >> >> -- Alain >> >> _______________________________________________ >> Caml-list mailing list. Subscription management: >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >> Archives: http://caml.inria.fr >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > >