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 E7E43BC6B for ; Thu, 11 Oct 2007 15:23:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAOS/DUfUVZgL/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.21,259,1188770400"; d="scan'208";a="2768435" Received: from hades.snarc.org ([212.85.152.11]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Oct 2007 15:23:27 +0200 Received: by hades.snarc.org (Postfix, from userid 1000) id 5CBD61B482; Thu, 11 Oct 2007 15:23:25 +0200 (CEST) Date: Thu, 11 Oct 2007 15:23:25 +0200 To: Loup Vaillant Cc: Jon Harrop , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: Rope is the new string Message-ID: <20071011132325.GA7338@snarc.org> References: <20071009.122004.251675959.Christophe.Troestler+ocaml@umh.ac.be> <200710091440.48381.jon@ffconsultancy.com> <20071009155702.GB26282@snarc.org> <6f9f8f4a0710090942u2afe6c5erc2d5b11ecfff2253@mail.gmail.com> <20071009165520.GA27507@snarc.org> <6f9f8f4a0710091032r3dace80bi4f9b584ae5056675@mail.gmail.com> <20071009195119.GA29263@snarc.org> <6f9f8f4a0710091406u445e674ar5a39f66ab7d8ba38@mail.gmail.com> <20071010073526.GA21648@snarc.org> <6f9f8f4a0710100105u3c71fc37yf9bba68ad213fffd@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6f9f8f4a0710100105u3c71fc37yf9bba68ad213fffd@mail.gmail.com> X-Warning: Email may contain unsmilyfied humor and/or satire. User-Agent: Mutt/1.5.16 (2007-06-11) From: tab@snarc.org (Vincent Hanquez) X-Spam: no; 0.00; 0200,:01 icfp:01 ocaml:01 10,:98 wrote:01 caml-list:01 immutable:01 strings:01 functional:02 string:02 string:02 interface:06 wed:06 vincent:07 vincent:07 On Wed, Oct 10, 2007 at 10:05:11AM +0200, Loup Vaillant wrote: > So, it seem we agree more or less on the interface. Now what about the > implementation? Ropes? Flat? I like ropes, personally: catenation is > made fast, and look-up are still sub-linear. In general Ropes look > cool for functional strings. Last but not the least, they were almost > mandatory for saving Endo at the ICFP this year. ;-) well I think that plain ocaml string are not the way to go, i'ld rather use some immutable string for that. I didn't look in detail the ropes code, but that's probably fine as well. -- Vincent Hanquez