with ctypes you can do it on 3.12+
setting 5=4 seems to really mess up the REPL though, I had to type "2 + 5 == 2" to get "2 + 2 == 5" and there's an extra >
Having just read the first volume of Michael Palin’s diaries, I assumed you were referring to Monty Python and thought it doesn’t sound like a very funny sketch.
Did you know Python lets you write e.g. “a > b > c” as a shorthand for “a > b and b > c”? And that this works even for custom overloads of “>” for your own types as well?
Just remove that pesky axiom that there is no n∈ℕ such that s(n)=0. Multiplication and addition will still be commutative, associative and one distributive over the other. And indeed, s(n)=n.
Usability aside, such a variable would take exactly zero bits to store. That should free some memory. :)
Comments
== equality
=== two different expressions WILL be made equal, no matter what it takes. 2 + 2 === 5? Sure. They’re equal now.
(tested on py3.11 - it broke on 3.12)
setting 5=4 seems to really mess up the REPL though, I had to type "2 + 5 == 2" to get "2 + 2 == 5" and there's an extra >
Java can do it, Python can do it, is this a sign of a superior language when it can defy the laws of mathematics themselves?
(Note I don't have anything against array programming languages and slowly transforming python into one would be pretty funny actually)
this will piss off the mathematicians as much as the developers :3
Usability aside, such a variable would take exactly zero bits to store. That should free some memory. :)