On 7/05/20 1:07 pm, David Mertz wrote:
For *most* functions, the substitution principle is fine in Python. A whole lot of the time, numeric functions can take either an int or a float that are equal to each other and produce results that are equal to each other.
It's not much use for deciding whether two things *should* be equal, though, because whatever your opinion on the matter, you can come up with a set of functions that satisfy it and then say "those are the kinds of functions I mean". Also, as a definition of equality it seems somewhat circular, since if you're not sure whether x == y, you may be equally uncertain whether f(x) == f(y) for some f, x, y. -- Greg _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/IRMSHU36L6QQBHZ35DPRHE5DTZ54U7AG/ Code of Conduct: http://python.org/psf/codeofconduct/
