English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Canonical Set/Map datastructure?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-03-05 (19:53)
From: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] Canonical Set/Map datastructure?
Alain Frisch a écrit :
> Something that Jean-Christophe's implementation doesn't do but which is
> quite easy to add is to use hash-consing on patricia trees themselves,

This is a nice idea, thanks; I will eventually add this to my

Meanwhile, I can mention that there is also an hash-consing library on
my web page (together with a paper describing the technique) and thus
it should be as ``simple'' as combining the two codes :-)

Jean-Christophe Filliâtre