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,
>