What is the operator supposed to do? On Sun, Mar 3, 2019, 09:52 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/