<div style="line-height:1.7;color:#000000;font-size:14px;font-family:Arial"><div>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 `+`?</div><div>Also -> is a symbol of propositional logic, like <span style="caret-color: rgb(34, 34, 34); color: rgb(34, 34, 34); font-family: "Nimbus Roman No9 L", "Times New Roman", Times, serif; font-size: 16.520000457763672px; white-space: nowrap;">กฤ </span>and<span style="caret-color: rgb(34, 34, 34); color: rgb(34, 34, 34); font-family: "Nimbus Roman No9 L", "Times New Roman", Times, serif; font-size: 16.520000457763672px; white-space: nowrap;"> </span><span style="caret-color: rgb(34, 34, 34); color: rgb(34, 34, 34); font-family: "Nimbus Roman No9 L", "Times New Roman", Times, serif; font-size: 16.520000457763672px; white-space: nowrap;">กล</span> , do we also need these operators as well?</div><div><br></div><div><br></div><div><br></div><div><br></div><div style="position:relative;zoom:1"></div><div id="divNeteaseMailCard"></div><div><br></div><pre><br>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/
</pre></div><br><br><span title="neteasefooter"><p> </p></span>