Is it possible to calculate all Real (Rational & Irrational) numbers without accumulating rounding or truncating errors, and only set the precision required at the end of a calculation?
Apparently it is.
Investigate:
- Continued Fractions (finite and infinite)
- Lazy Evaluation
- https://wiki.haskell.org/Exact_real_arithmetic
- https://wiki.haskell.org/Libraries_and_tools/Mathematics#Dynamic_precision_by_lazy_evaluation