Oh good! Someone from the @racketlang community can weigh in on the benefits.
Oh wait…
Anyway, sooner or later the time for computable reals will come. I'm still HODLing stock in continued fractions (and teaching them every year to my first-year students).
@shriramk In which context do you introduce continued fractions to first-year students?
As for computable reals, I'd love to see them become more widely (and easily) available. For testing numerical methods, and for exploring their properties.
@khinsen See for yourself!
Shriram Krishnamurthi
Konrad Hinsen