Author ncoghlan
Recipients belopolsky, docs@python, ncoghlan, rhettinger, v+python
Date 2011-04-28.07:26:49
SpamBayes Score 4.22465e-09
Marked as misclassified No
Message-id <1303975610.29.0.536082648672.issue11945@psf.upfronthosting.co.za>
In-reply-to
Content
By "works" I merely meant that you can currently achieve both of the following:

1. Write fully conformant implementations of IEEE754 floating point types, including the non-reflexive NaN comparisons (keeping in mind that, as a value-based specification, "same payload" is the closest IEEE754 can get to "same object")

2. Explicitly force reflexivity when you need it, either by filtering out nonconformant values, or by checking identity before checking equality.

The "pure" equality-tests-are-always-reflexive approach advocated by Meyer rules out option 1. Given that one of the use cases for Python is to prototype algorithms that are later translated to C or C++, formally disallowing that use case would be problematic.
History
Date User Action Args
2011-04-28 07:26:50ncoghlansetrecipients: + ncoghlan, rhettinger, belopolsky, v+python, docs@python
2011-04-28 07:26:50ncoghlansetmessageid: <1303975610.29.0.536082648672.issue11945@psf.upfronthosting.co.za>
2011-04-28 07:26:49ncoghlanlinkissue11945 messages
2011-04-28 07:26:49ncoghlancreate