Continued Fractions: Haskell, Equational Reasoning, Property Testing, and Rewrite Rules in Action
Introduction to continued fractions Let’s start with a challenge. Assume I know how to write down an integer. Now, how can I write down a real number? In school, we’ve all learned a few answers to this question. The big two are fractions and decimals. Fractions have simple forms for rational numbers. Just write two integers, for the numerator and denominator. That’s great! But alas, they are no good at all for irrational numbers like pi, or the square root of 2. I could, of course, write a fraction that’s close to the irrational number, such as 22/7 as an approximation of pi. But th...
Source: medium.com