Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
polymorphically comparable Maps?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Thorsten Ohl <ohl@h...>
Subject: polymorphically comparable Maps?
Does anybody know of a fast data structure for (applicative)
association tables over ordered types (like Map in the standard
library) with the property that identical maps will have an identical
representation?  Sorted association lists work, but have linear access
and insertion.  Is there something logarithmical (even with an OCaml


[ If anybody wonders: I want/need polymorphic comparison, because the
  Maps are part of a recursive datastructure. ]
Thorsten Ohl, Physics Department, TU Darmstadt -- [<=== PGP public key here]