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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id C64BFBC6B for ; Tue, 23 Oct 2007 20:07:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACLVHUfAXQInh2dsb2JhbACBWox9AgEICik X-IronPort-AV: E=Sophos;i="4.21,318,1188770400"; d="scan'208";a="18525002" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2007 20:07:40 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9NI7ewi013947 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 23 Oct 2007 20:07:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACLVHUeGnQCBn2dsb2JhbACBWox9AgEBBwQGCQgY X-IronPort-AV: E=Sophos;i="4.21,318,1188770400"; d="scan'208";a="3551370" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2007 20:07:40 +0200 Received: from courriel.upmc.fr (courriel2.reseau.jussieu.fr [134.157.0.193]) by shiva.jussieu.fr (8.13.8/jtpda-5.4) with ESMTP id l9NI7Z1J099505 ; Tue, 23 Oct 2007 20:07:35 +0200 (CEST) X-Ids: 164 Received: from courriel.upmc.fr (localhost [127.0.0.1]) by courriel.upmc.fr (8.14.1/jtpda-5.4) with ESMTP id l9NI7ZbJ026521 ; Tue, 23 Oct 2007 20:07:35 +0200 (CEST) Received: from iloginc.ilog.com (iloginc.ilog.com [12.166.113.1]) by webmail.etu.upmc.fr (Horde MIME library) with HTTP; Tue, 23 Oct 2007 20:07:35 +0200 Message-ID: <20071023200735.1k9up6jjc0o0oscg@webmail.etu.upmc.fr> Date: Tue, 23 Oct 2007 20:07:35 +0200 From: Diego Olivier FERNANDEZ PONS To: Jon Harrop Cc: caml-list Subject: Re: [Caml-list] Finger trees References: <200710231233.47817.jon@ffconsultancy.com> In-Reply-To: <200710231233.47817.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) H3 (4.1.4) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0 (shiva.jussieu.fr [134.157.0.164]); Tue, 23 Oct 2007 20:07:35 +0200 (CEST) X-Virus-Scanned: ClamAV 0.88.7/4574/Tue Oct 23 16:57:10 2007 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at concorde with ID 471E386C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at shiva.jussieu.fr with ID 471E3867.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; pons:01 pons:01 ocaml:01 ralf:01 hinze:01 haskell:01 caml-list:01 data:02 structures:02 tree:02 tree:02 olivier:07 olivier:07 written:07 i'm:09 Bonjour, > I'm just perusing the multitude of tree data structures out there and was > wondering if anyone has a finger tree implementation written in OCaml? I tried once and didn't see any advantage with respect to traditional trees or random access trees. There is a paper by Ralf Hinze (Haskell) but I never tried to port his implementation. Diego Olivier