From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q218qQRO001004 for ; Thu, 1 Mar 2012 09:52:33 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQDABA4T0/ZSMDyjmdsb2JhbABDtBIiAQEBAQkLCRsFJIF9AQEEATo/BQsLDhMlDwEEKCETiAEJt2WNBg0ECRsCCgEGCwIGBwwUAwMBAgKFBwiEHQSbB40n X-IronPort-AV: E=Sophos;i="4.73,508,1325458800"; d="scan'208";a="146891059" Received: from fmmailgate04.web.de ([217.72.192.242]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Mar 2012 09:52:33 +0100 Received: from moweb002.kundenserver.de (moweb002.kundenserver.de [172.19.20.108]) by fmmailgate04.web.de (Postfix) with ESMTP id 833B172C3B97 for ; Thu, 1 Mar 2012 09:52:32 +0100 (CET) Received: from frosties.localnet ([95.208.118.96]) by smtp.web.de (mrweb001) with ESMTPA (Nemesis) id 0MX0lw-1RxY673KDM-00WACE; Thu, 01 Mar 2012 09:52:32 +0100 Received: from mrvn by frosties.localnet with local (Exim 4.77) (envelope-from ) id 1S31kU-0003CX-RL; Thu, 01 Mar 2012 09:52:30 +0100 From: Goswin von Brederlow To: Gerd Stolpmann Cc: caml-list@inria.fr References: <87y5rmemr6.fsf@frosties.localnet> <1330463367.2826.96.camel@thinkpad> <87d38y0z80.fsf@frosties.localnet> <1330521693.2826.146.camel@thinkpad> Date: Thu, 01 Mar 2012 09:52:30 +0100 In-Reply-To: <1330521693.2826.146.camel@thinkpad> (Gerd Stolpmann's message of "Wed, 29 Feb 2012 14:21:33 +0100") Message-ID: <87aa403dpt.fsf@frosties.localnet> User-Agent: Gnus/5.110009 (No Gnus v0.9) XEmacs/21.4.22 (linux, no MULE) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Provags-ID: V02:K0:BS5dez9Bgrm4pmVNdmb8BLudtBzreil+9vZQ0S2NdEt 8ObANysFKNrdikVqspQyQl6gFojdELSDaBJXpQkEEYVfRwRn5X PQcidBDmtRjFur/md3EjIDILHuk1iut9OCMlGY0Xv3OaK5zgc2 RH0kGBc+LaRkwSNSMw7t0TLGgf+FUh1JqR31H/HOfS3W2tol7K 5pPaGQ1NTKEztrkyq/DXQ== Subject: Re: [Caml-list] Bigarray question: Detecting subarrays, overlaps, ... Gerd Stolpmann writes: > What I did not understand up to now: It is really easy to keep all this > information in a helper data structure. Why extend Bigarray? > > Gerd A helper data structure would mean keeping track of that information on my own complicating the source and wasting memory at runtime. On the other hand what I suggested only makes use of what is already there in the Bigarray data structure. The functions would only make that information available to the user. I'm not a fan of duplicating information that is already there. Worst case the helper data structure could be wrong due to some bug in the code. MfG Goswin