- Heterogeneous containers in OCaml (archive
- ocaml-containers
CCMixmap
- type accessor objects
- generalized-signatures
Hashtbl
example- module signature only
- GADTs and associative container
- https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00071.html
- typed key in value as well
- Copy
- https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00071.html
- Memoize GADT
- Core_kernel.Univ_map examples?
- type accessor objects
- Hmap
- type accessor objects
- A universal type in OCaml?
- Thread safe heterogenous property lists (dictionaries)
- Frama-C Type.Make_tbl
- "An OCaml Library for Dynamic Typing" Julien Signoles
Created
September 25, 2021 08:24
-
-
Save sim642/528c293e54e45bc86f9efbc3af456295 to your computer and use it in GitHub Desktop.
OCaml heterogeneous GADT maps
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment