June 1, 2023
5:07 p.m.
On Fri, 2 Jun 2023 at 02:27, David Mertz, Ph.D. <david.mertz@gmail.com> wrote:
It feels to me like "split on whitespace" or "remove whitespace" are quite common operations. I've been frustrated a number of times by settling for the ASCII whitespace class when I really wanted the Unicode whitespace class.
They are indeed, quite common. It's a good thing Python makes those easy.
len("\u2000spam\u2001".strip()) 4 "spam\u2002ham".split() ['spam', 'ham']
ChrisA