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.7 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE, SPF_FAIL 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 B50BCBBAF for ; Tue, 18 Nov 2008 19:59:16 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCAMqeIklQRFuwgWdsb2JhbACTWQEBFiK/BYJ5 X-IronPort-AV: E=Sophos;i="4.33,626,1220220000"; d="scan'208";a="31576770" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Nov 2008 19:59:16 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1L2Vn8-0005sx-Sy; Tue, 18 Nov 2008 18:59:14 +0000 Date: Tue, 18 Nov 2008 18:59:14 +0000 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included Message-ID: <20081118185914.GA20702@annexia.org> References: <1227002178.6170.25.camel@Blefuscu> <20081118100625.GA25627@annexia.org> <200811181817.23216.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200811181817.23216.jon@ffconsultancy.com> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; ocaml:01 struct:01 wrote:01 incompatible:01 caml-list:01 module:03 module:03 hierarchy:03 scheme:05 distributed:05 tue:06 coordinate:07 missing:07 extend:07 extend:07 On Tue, Nov 18, 2008 at 06:17:23PM +0000, Jon Harrop wrote: > I don't follow. Can you not use "include" to extend an existing module: > > # module Array = struct > include Array You're missing the point which is scalability - how to deal with distributed parties who are loosely coordinated. The above scheme allows one person to extend the Array module, but not two people, unless they coordinate with each other about which order they extend it (or both have incompatible extensions). Rich. -- Richard Jones Red Hat