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=1.1 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id ED328BBAF for ; Wed, 19 Nov 2008 11:57:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCABKAI0nAXQImgWdsb2JhbACTVwEBFiK+WIJ5 X-IronPort-AV: E=Sophos;i="4.33,630,1220220000"; d="scan'208";a="19325761" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Nov 2008 11:57:29 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAJAvSDX000886 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 19 Nov 2008 11:57:29 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCANp/I0lDz4HegWdsb2JhbACTVwEBFiK+XIJ5 X-IronPort-AV: E=Sophos;i="4.33,630,1220220000"; d="scan'208";a="20121244" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Nov 2008 11:57:28 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.18]) by fettunta.fettunta.org (Postfix) with ESMTP id C6D8318210 for ; Wed, 19 Nov 2008 10:57:26 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id A0B276875; Wed, 19 Nov 2008 11:57:23 +0100 (CET) Date: Wed, 19 Nov 2008 11:57:23 +0100 From: Stefano Zacchiroli To: OCaml Subject: Re: [Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included Message-ID: <20081119105723.GA22177@usha.takhisis.invalid> Mail-Followup-To: OCaml 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> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <891bd3390811181906t1f9ea9beh7d4e7621d45d7977@mail.gmail.com> User-Agent: Mutt/1.5.18 (2008-05-17) X-Miltered: at discorde with ID 4923F118.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 ocaml:01 yaron:01 minsky:01 chunks:01 ocaml:01 -pack:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 dietro:98 c'e:98 sempre:98 On Tue, Nov 18, 2008 at 10:06:21PM -0500, Yaron Minsky wrote: > 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.... AOL on this kind of feature request. With OCaml we have been prone for years with potential module namespace conflicts. Those conflicts have been thought to be solved by -pack, which nowadays is finally easy to use via ocamlbuild. Still, if using it thoroughly we are back to the square 1 of having to link everything together, then it is not a viable solution for large libraries. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime