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" <francismb@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/