On Nov 6, 2019, at 19:52, Mike Miller <python-ideas@mgmiller.net> wrote:
On 2019-11-06 05:40, Andrew Barnert via Python-ideas wrote: While we’re at it, when you replace both = and := with an arrow, what do you do with += and the other augmented assignments? I can’t think of a single-character symbol that visually represents that meaning. If you leave it as + followed by an arrow, or try to come up with some new digraph, now we have the worst of both worlds, Unicode soup: operators that are digraphs and not visually meaningful while also not being typeable.
There is:
U+2B32 ⬲ LEFT ARROW WITH CIRCLED PLUS
Once we go to Unicode and lots of operators, I doubt it’ll be long before we use circled plus for something. At which point this is pretty misleading as a meaning for “plus than assign back” rather than “circle-plus then assign back”.
But there would need to be more. I didn't find any obvious for: -=
So going to Unicode and lots of operators doesn’t actually save us from symbol soup at all (unless we want to give up functionality the language already has), it just adds new problems in top of the soup problem.