> You obviously can't have the entire rationals, because your computer's memory ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		alisonkisk on July 25, 2021 \| parent \| context \| favorite \| on: Types versus sets in math and programming language... > You obviously can't have the entire rationals, because your computer's memory is finite. This doesn't matter, because our programs and data are finite. Bignum (which is plain old Integer in Haskell) is unbounded, but commonm

marcosdumay on July 27, 2021 [–]

The memory size does not matter. For any finite size, you will get a closer approximation of the rationals from floating point than by a ratio of integers.

The difference ratio only gets bigger when you add more memory.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact