On Wed, Oct 23, 2019 at 11:47 PM Inada Naoki <songofaca...@gmail.com> wrote:

> So reusing | to set union is very natural to me.
>

I understand that, and agree -- it made sense to me when set() was
introduced.

But that wasn't my point -- we are not deciding now what operator to use
for set union, we are deciding what operator to use for dict merging.

And I don't think that (most) people will naturally think about set union
when they want to put two dicts together.

logic theory aside, most people both learn dicts first, and use them a lot
more than sets.

And I don't think it's about uptake either -- I think it will be a
long-standing difference. That being said, this is just a new way to spell
what can already be done, so not a big deal either way.


> But if we use + for dict merging, I think we should add + to set too.
> Then the set has `.union()`, `|` and `+` for the same behavior.
>

I'd be fine with that :-) -- I suspect that if operators on dicts and sets
were considered at the same time, + may well have been chosen. And if dicts
supported + when sets were introduced, it probably would have been used
there.

I'm going to try to avoid any more comments on this -- it's all been said,
many, many times -- I think it's time for a decision, and we can all go
bike-shed other things :-)

-CHB

-- 
Christopher Barker, PhD

Python Language Consulting
  - Teaching
  - Scientific Software Development
  - Desktop GUI and Web Development
  - wxPython, numpy, scipy, Cython
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at 
https://mail.python.org/archives/list/python-ideas@python.org/message/VFSJE4JFEQVJOYLK2EHFUJ45ATMTJIZK/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to