[Haskell-cafe] A question about "monad laws"
g9ks157k at acme.softbase.org
Thu Mar 13 15:43:15 EDT 2008
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.)
More information about the Haskell-Cafe