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/

Reply via email to