
Greg Ewing wrote:
That's probably because mathematicians grown up writing everything with a chalk on a blackboard. Hands are tired after hours of writing and blackboards are limitited, need to erase everything and start over. I find actually symbols ≤ ≥ (inclusive comparison) nice. They look ok and have usage in context of writing code. But that's merely an exception in world of math symbols. OTOH I'm strongly against unicode. Mikhail

Le 07/06/17 à 07:34, Greg Ewing a écrit :
I'm not sure it's worth any change in the language, it's already really easy to read and write as is. But I agree this can be great to have for example for reviewers (Python being what it is, you can have reviewers who are not really pythonistas but just here to check the logic and maths for example). And it's already available by using some fonts that provide a good ligature support, like Fira Code (https://twitter.com/pycharm/status/804786040775045123?lang=fr). I'm not sure about the support in other editors/terminals tho.

As already mentioned, Vim can display <= as ≤ using the ' conceal' feature. (And in fact arbitrary substitutions, of course.) Stephan Op 7 jun. 2017 8:48 a.m. schreef "Brice PARENT" <contact@brice.xyz>: Le 07/06/17 à 07:34, Greg Ewing a écrit :
I'm not sure it's worth any change in the language, it's already really easy to read and write as is. But I agree this can be great to have for example for reviewers (Python being what it is, you can have reviewers who are not really pythonistas but just here to check the logic and maths for example). And it's already available by using some fonts that provide a good ligature support, like Fira Code (https://twitter.com/pycharm/status/804786040775045123?lang=fr). I'm not sure about the support in other editors/terminals tho. _______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/

On 2017-06-07 02:03, Mikhail V wrote:
Also don't forget that mathematical formalism is *always* accompanied by an explanation of what the symbols mean in the particular situation (either orally by the person doing the writing, or in prose if it's in a paper or book). Valid code, no matter how badly chosen the identifier names, is always self-explanatory (at least to the computer); a mathematical formula almost never is.

Le 07/06/17 à 07:34, Greg Ewing a écrit :
I'm not sure it's worth any change in the language, it's already really easy to read and write as is. But I agree this can be great to have for example for reviewers (Python being what it is, you can have reviewers who are not really pythonistas but just here to check the logic and maths for example). And it's already available by using some fonts that provide a good ligature support, like Fira Code (https://twitter.com/pycharm/status/804786040775045123?lang=fr). I'm not sure about the support in other editors/terminals tho.

As already mentioned, Vim can display <= as ≤ using the ' conceal' feature. (And in fact arbitrary substitutions, of course.) Stephan Op 7 jun. 2017 8:48 a.m. schreef "Brice PARENT" <contact@brice.xyz>: Le 07/06/17 à 07:34, Greg Ewing a écrit :
I'm not sure it's worth any change in the language, it's already really easy to read and write as is. But I agree this can be great to have for example for reviewers (Python being what it is, you can have reviewers who are not really pythonistas but just here to check the logic and maths for example). And it's already available by using some fonts that provide a good ligature support, like Fira Code (https://twitter.com/pycharm/status/804786040775045123?lang=fr). I'm not sure about the support in other editors/terminals tho. _______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/

On 2017-06-07 02:03, Mikhail V wrote:
Also don't forget that mathematical formalism is *always* accompanied by an explanation of what the symbols mean in the particular situation (either orally by the person doing the writing, or in prose if it's in a paper or book). Valid code, no matter how badly chosen the identifier names, is always self-explanatory (at least to the computer); a mathematical formula almost never is.
participants (6)
-
Brice PARENT
-
Greg Ewing
-
Mikhail V
-
Serhiy Storchaka
-
Stephan Houben
-
Thomas Jollans