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