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,MISSING_HEADERS, SPF_NEUTRAL 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 B1BCDBC69 for ; Tue, 23 Oct 2007 22:59:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADb9HUfAXQInh2dsb2JhbACOVwIBCAop X-IronPort-AV: E=Sophos;i="4.21,320,1188770400"; d="scan'208";a="3557790" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2007 22:59:37 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9NKxbjF019395 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 23 Oct 2007 22:59:37 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHP9HUdA6ba6kGdsb2JhbACOVwIBAQcCBhMRBw X-IronPort-AV: E=Sophos;i="4.21,320,1188770400"; d="scan'208";a="18530696" Received: from nf-out-0910.google.com ([64.233.182.186]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2007 22:59:36 +0200 Received: by nf-out-0910.google.com with SMTP id g13so1257756nfb for ; Tue, 23 Oct 2007 13:59:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:cc:subject:references:in-reply-to:content-type:content-transfer-encoding:sender; bh=RGVisUY4Nxr+lfEyjbXuV9tjA+DBJGJYNzB5rV8RzT0=; b=tqGf/uix9raKYWXBwxSgVbk9GAGLDjhLVA3QGdtSwDahvVNJ0V1JVEa0bIxNCd8aGE1LnhR6uVEPGvztivoJovQ67PFninR+qpe35ezy68zt+52isB5q5gkMr6oyBxqFX7VW0h34GBoH3kDkik1tijnJ9jXIzm/PDgsl3KSMB54= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:user-agent:mime-version:cc:subject:references:in-reply-to:content-type:content-transfer-encoding:sender; b=bvlhu61saVxsnyWnpBtKm3jA3N8mgxf5kYuoOLfDLS5UZ7V7hHvA46eOTcEqAKtY3BeHBbpMjxUjtcDjDmBPGzAq+0D3jiidC3WlI/ZGczpvRH22E7ZQwiQoIXPNQajudxtAg3pSPF7eZ2T/fa6bxkXTifWB1aB6i43sG0l+0I8= Received: by 10.86.54.3 with SMTP id c3mr5074359fga.1193173176202; Tue, 23 Oct 2007 13:59:36 -0700 (PDT) Received: from ?192.168.0.11? ( [87.88.165.197]) by mx.google.com with ESMTPS id b17sm13091089fka.2007.10.23.13.59.33 (version=SSLv3 cipher=RC4-MD5); Tue, 23 Oct 2007 13:59:34 -0700 (PDT) Message-ID: <471E60B4.8070607@lix.polytechnique.fr> Date: Tue, 23 Oct 2007 22:59:32 +0200 From: Arnaud Spiwack User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) MIME-Version: 1.0 Cc: caml-list Subject: Re: [Caml-list] Finger trees References: <200710231233.47817.jon@ffconsultancy.com> In-Reply-To: <200710231233.47817.jon@ffconsultancy.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: Arnaud Spiwack X-Miltered: at concorde with ID 471E60B9.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lix:01 coq:01 ocaml:01 lri:01 ocaml:01 cheers:01 arnaud:01 arnaud:01 caml-list:01 data:02 structures:02 tree:02 tree:02 idiomatic:02 library:03 There's at least been a Coq implementation (proven correct if I'm not mistaken). Thus extractible into OCaml in a probably idiomatic way. I don't know if the library is self contained or just a small proof-of concept, though. http://www.lri.fr/~sozeau/research/russell/fingertrees.fr.html Arnaud Spiwack Jon Harrop a écrit : > 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? > > Cheers, >