robert.will at stud.tu-ilmenau.de
Mon May 17 17:36:27 EDT 2004
----- Original Message -----
> I assume that you also removed the strictness on
> the branches (instead of just the key),
> If this is the case, analysis becomes more complicated. The application could
> speed up now when you don't use certain paths in the tree (as these are not
> evaluated). However, I think that it may also lead to a space leak: if someone
> inserts the same element a thousand times, there will be thunk of a thousand
No, the balancing algorithm does force the evaluation of all paths.
We cannot have balanced lazy data structures (exept for lazyness in the elements).
This page contains a longer explanation (search for "lazy"):
More information about the Libraries