A calculator that doesn't round
Summary
This article introduces Constructive Calculator, an iPhone app that performs exact calculations using constructive real arithmetic rather than rounding. It details porting Boehm’s Java-based constructive-reals engine to Swift, the architectural and concurrency challenges discovered during porting and testing, and notes limitations of constructive arithmetic, along with updates adding new functions. It also highlights AI-assisted development insights observed during the porting process.