March 20, 2020
2:55 p.m.
On Fri, 20 Mar 2020 at 05:06, Steven D'Aprano <steve@pearwood.info> wrote:
On Thu, Mar 19, 2020 at 07:28:56PM +0100, Marco Sulla wrote:
The problem is: is there a use case? I mean, how much time you need to sort a list, add an element and re-sort it? Depends on whether you are adding and re-sorting *one* element, or if you have to process a hundred million elements, re-sorting after each one.
Yes of course. But does it happen in the real life? Is there a concrete use-case?