Re: out-of-memory handling

[Bruno Haible]

Marc Nieper-Wißkirchen wrote:
> I am not so convinced of whether it makes sense to create a
> gl_set/gl_map frontend for this hamt implementation.

Wikipedia [1] lists some advantages of HAMTs even without the persistence.

> It is optimized
> for the persistence (otherwise, use ordinary hash tables), while the
> gl_set/gl_map interface is for destructive updates.

How would a HAMT implementation look like that does not support persistence,
but is instead optimized for destructive updates? Probably the reference
counters would go away. Anything else?

Bruno

[1] https://en.wikipedia.org/wiki/Hash_array_mapped_trie#Advantages_of_HAMTs