I don't like the idea of arrows in both directions when you can just swap the operands instead
On Sun, Mar 3, 2019 at 9:52 AM 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/ > -- CALVIN SPEALMAN SENIOR QUALITY ENGINEER cspea...@redhat.com M: +1.336.210.5107 <https://red.ht/sig> TRIED. TESTED. TRUSTED. <https://redhat.com/trusted>
_______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/