In this web content, the author delves into the implementation of arbitrary-precision arithmetic in bruijn programming language, building on the work of u/DaVinci103. The unique aspect lies in how integers, rational, and real numbers are encoded using Church numerals, balanced ternary numbers, and rational numbers as pairs. The article explores the extension of real numbers as an abstraction over rational numbers, highlighting the challenges in achieving exact equality of real numbers. By introducing balanced ternary numbers and sophisticated operators, the author demonstrates advanced calculations and approximations of rational and real numbers, showcasing the elegance and power of lambda calculus in bruijn programming language.
https://text.marvinborner.de/2024-04-16-10.html