[Haskell-cafe] A question about "monad laws"

[Wolfgang Jeltsch]

Am Mittwoch, 12. März 2008 00:53 schrieb askyle:
> […]

> So if floating point (==) doesn't correspond with numeric equality, it's
> not FP's fault, but ours for expecting it to do!

No, I think, it’s the Prelude’s fault to define (==) as “floating point 
equality”.  We should us a different identifier like floatingPointEq.  (==) 
is expected to be an equivalence relation.  (I think I already said this.)

> […]

Best wishes,
Wolfgang