[Python-ideas] Left arrow and right arrow operators

fhsxfhsx fhsxfhsx at 126.com
Sun Mar 3 23:56:34 EST 2019


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 at 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 at python.org
>https://mail.python.org/mailman/listinfo/python-ideas
>Code of Conduct: http://python.org/psf/codeofconduct/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20190304/f8d685cd/attachment.html>


More information about the Python-ideas mailing list