hmap

hmap copied to clipboard

Provides features similar to `Map.map` and `Map.merge`.

correnson

The `Key.V` allocations [here](https://github.com/dbuenzli/hmap/blob/e54eb3f7d7dbada0724fd023c334d0b5a29c8479/src/hmap.ml#L116-L122) on each fun calls could be avoided by storing the existential in the key itself [here](https://github.com/dbuenzli/hmap/blob/e54eb3f7d7dbada0724fd023c334d0b5a29c8479/src/hmap.ml#L87) in a `ekey : t` field to be defined via...

dbuenzli

Reduce allocations using unique identifiers of keys as keys in the map

2

Following the recent inclusion in the stdlib (as part of the new Type module) of `Type.Id.uid`, it looks like we can always compute a unique integer for type ids. This...

Armael

make Key.t unboxed to save memory

5

This should save 2 words per map entry.

c-cube