I wonder if it is necessary to add two new operators, and for me, "arrow operator" is not clearer than `+`. Could you explain why do you prefer this operator than `+`? Also -> is a symbol of propositional logic, like ∧ and ∨ , do we also need these operators as well?
At 2019-03-03 22:46:24, "francismb" <franci...@email.de> wrote: >Hi, >the idea here is just to add the __larrow__ and __rarrow__ operators for ><- and ->. > > >E.g. of use on dicts : >>>> d1 = {'a':1, 'b':1 } >>>> d2 = {'a':2 } >>>> d3 = d1 -> d2 >>>> d3 >{'a':1, 'b':1 } > >>>> d1 = {'a':1, 'b':1 } >>>> d2 = {'a':2 } >>>> d3 = d1 <- d2 >>>> d3 >{'a':2, 'b':1 } > >Or on bools as Modus Ponens [1] > >Or your idea/imagination here :-) > > > >Regards, >--francis > >[1] https://en.wikipedia.org/wiki/Modus_ponens > > >_______________________________________________ >Python-ideas mailing list >Python-ideas@python.org >https://mail.python.org/mailman/listinfo/python-ideas >Code of Conduct: http://python.org/psf/codeofconduct/
_______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/