Thanks for your replies.
In particular to Jon for the reference to the Haskell 98 standard and the
comment about language design.
If anyone has further references to Haskell 98 or Erlang, I'm still
interested.
Regarding cost, I do see the difference in factors (Integer - Int, and
computable real - Double) as being relevant, but not necessarily a
show-stopper.
Regarding co-semidecidable equality, I'll just note that any numerical
analyst knows that you're not allowed to compare for equality in Double
either. Rationals or the real algebraic closure do have decidable equality
but are, as far as I know, even more costly to compute with.
Thanks,
Jens
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100405/37b5e5f2/attachment.html