On 03/20/2020 11:52 AM, Dennis Sweeney wrote:
Browser Link: https://www.python.org/dev/peps/pep-0616/
PEP: 616
Title: String methods to remove prefixes and suffixes
Thank you, Dennis, for putting this together! And Eric for sponsoring. :)
Overall I think it's a good idea, but...
Alternative Method Names
------------------------
``stripprefix``
Users may benefit from the mnemonic that "strip" means working
with sets of characters, while other methods work with
substrings, so re-using "strip" here should be avoided.
Um, what mnemonic?
I am strongly opposed to the chosen names of `cut*` -- these methods do
basically the same thing as the existing `strip` methods (remove something from
either end of a string), and so should have similar names:
- the existence of `stripsuffix` is a clue/reminder that `strip` doesn't work
with substrings
- if all of these similar methods have similar names they will be grouped
together in the documentation making discovery of the correct one much easier.
So for this iteration of the PEP, I am
-1
--
~Ethan~
_______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at
https://mail.python.org/archives/list/python-dev@python.org/message/O2YBXAXKHEJT4SRPBWN4MCA4EKBKBQAG/
Code of Conduct: http://python.org/psf/codeofconduct/
