On Fri, 20 Mar 2020 at 05:06, Steven D'Aprano <[email protected]> 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? _______________________________________________ Python-ideas mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/FZJK2ULFGPLXX53BVUBHJHFEXPI2CGB3/ Code of Conduct: http://python.org/psf/codeofconduct/
