25 Sep
2014
25 Sep
'14
12:09 a.m.
On Thu, Sep 25, 2014 at 10:25 AM, David Feuer
As Edward Kmett explained to me, (/=) is currently needed in Eq to support IEEE floating point semantics for (==) and (/=). As I see it, those semantics are badly broken from the perspective of what Eq is supposed to mean, and really should be supported using special functions (eqIEEE and neqIEEE or whatever), whereas the most appropriate Eq instance for floating point would be something more like
A short-term improvement you could make is to move this discussion to haskell-cafe. By reaching a larger audience with lots more stakeholders, you'll garner support and assistance putting your proposal in the best light possible. -- Kim-Ee