Mikhail V wrote:
But if you say that special-casing of [i:j] here would be hard to implement, then maybe insert() idea should be dropped.
Since I wrote that I realised that it's not true -- given an infix ^ operator like you propose, the in-place version of it would actually give the desired result. However, I still don't think that either insert or append are frequent enough operations to warrant having their own operators. It's true that append is a lot more common than insert, but usually it's a mutating append that you want, not creating a new list with one more item on the end, which is what your ^ operator does. -- Greg _______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/
