Dan Sommers wrote:

So what it is "hello" - "world"?

If we were to implement the entire group, it would be an element
that can't be written in any simpler form.

We could do that by representing a string as a sequence of
signed substrings, and performing cancellations whereever
possible during concatenation.

But that would be a huge amount of machinery just to provide
a cute notation for removing a prefix or suffix, with little
in the way of other obvious applications.

--
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/

Reply via email to