Your comment is basically correct. This paper deals with the representation issue somewhat. But I think those results are applicable to computation in general, and the choice of Haskell is irrelevant to the discussion. You’re welcome to prove me wrong by exhibiting a representation of exact reals that allows decidable equality, in any programming language.
Your comment is basically correct. This paper deals with the representation issue somewhat. But I think those results are applicable to computation in general, and the choice of Haskell is irrelevant to the discussion. You’re welcome to prove me wrong by exhibiting a representation of exact reals that allows decidable equality, in any programming language.