fixed-point refers to two almost completely unrelated concepts:
- Fixed-point arithmetic, a pragmatic (sometimes even hacky) implementation of approximate real numbers, mostly relevant as an optimisation of numerical performance in memory-constrained applications.
- Fixpoint combinators and the fixpoints of functions which they find. These are of high theoretical interest, considered very elegant, but have rather fewer real-world applications and are often arguably better replaced with more mundane loop constructs if performance is a concern.
I'd suggest splitting this tag in two unambiguous ones: [fixed-precision] for fixed-point arithmetic and fixpoints for fixed-point combinators.
fix
and friends from questions aboutFix
and friends. Do you think that would be worth the trouble?