Neat!

I'm curious if you've looked at Core_kernel's Univ_map?  I believe it's
very similar in spirit, and I'm curious if there are any interesting
differences there:

https://github.com/janestreet/core_kernel/blob/master/src/univ_map.mli

Our type witnesses are a little interesting in that you can derive new
witnesses from old ones (e.g., if a equals a', and b equals b', then a * b
equals a' * b').  That said, I'm not sure that this is relevant for the
heterogenous map use case.

y

On Tue, Mar 8, 2016 at 4:42 AM, Daniel Bünzli <daniel.buenzli@erratique.ch>
wrote:

> Hello,
>
> I'd like to announce the first release of Hmap:
>
> ```
> Hmap provides heterogeneous value maps for OCaml. These maps bind keys
> to values with arbitrary types. Keys witness the type of the value
> they are bound to which allows to add and lookup bindings in a type
> safe manner.
> ```
>
> Hmap has no dependency and is distributed under the ISC license.
>
> Home page: http://erratique.ch/software/hmap/
> API docs: http://erratique.ch/software/hmap/doc/Hmap
>
> Best,
>
> Daniel
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>