Browse thread
Hashtbl or ref Map?
- Pawel Wojciechowski
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Pawel Wojciechowski <Pawel.Wojciechowski@c...> |
| Subject: | Hashtbl or ref Map? |
I'd like to have a simple map (association table, not hashed)
and share it between OCAML threads. Which module (from efficiency
point-of-view) it would better to use for that purpose: Hashtbl
or ref Map?
Pawel
--
------------------------------------------------------------
Pawel T Wojciechowski cambridge university
www.cl.cam.ac.uk/users/ptw20 computer lab.