3

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 for fixed-point combinators.

8
  • On a more serious note, correct me if I'm wrong, but shouldn't the fixed point arithmetic questions be retagged to precision?
    – user4639281
    Dec 17, 2016 at 20:07
  • 2
    I think precision is a lot more general than fixed-point. Dec 17, 2016 at 20:08
  • Well yeah, but do we really need fixed-precision and precision?
    – user4639281
    Dec 17, 2016 at 20:09
  • Yes. fixed-precision would be a lot about performance, memory and overflow issues, which have nothing to do with precision (nor with fixpoints). Dec 17, 2016 at 20:13
  • Fixed point arithmetic at it's core is directly related to mathematical precision, which is what the precision tag is about. If performance is a concern, there is the performance tag. Note though that if we get rid of fixed-point then floating-point will have to go as well. We might as well just leave fixed-point as it is and make a new tag for fixpoints, or fixed-point-combinators
    – user4639281
    Dec 17, 2016 at 20:20
  • 3
    I like @TinyGiant's suggestion of fixed-point-combinators... People who ask about theoretical functional programming would easily recognize the proper tag, the rest will use most likely more appropriate "fixed-point". Dec 17, 2016 at 21:48
  • 1
    Not sure about fixpoint combinators, but if fixed-point arithmetic doesn't have a [fixed-point] tag, no one will get their questions about it tagged correctly. Nothing else is discoverable. [fixed-precision] is a rather lousy tag because it's not what everyone calls it. Dec 18, 2016 at 11:20
  • (1) I have just carried out the disambiguation, creating fixpoint-combinators in the process. I plan to add it to other relevant questions over the following days. fixed-point-combinators will (hopefully) become a synonym. (2) Up to now, I haven't bothered with separating questions about fix and friends from questions about Fix and friends. Do you think that would be worth the trouble?
    – duplode
    Jul 7, 2019 at 2:52

2 Answers 2

4

As per the comments, it seems to be not feasible to tag fixed-precision questions with anything else but , mainly because it's the obvious counterpart to . Currently, these questions also make up a significant majority in in the tag.

Therefore, the best thing would be to just remove fixpoint questions from that tag. Retag them as or , and edit the tag wikis so it's clear which question should go where.

2

I have carried out the disambiguation. In the process, (29 questions), (24 questions), and (13 questions) were created. Criticism and suggestions are welcome.

Below is the analysis I had previously done, upon which the changes were based.


should be disambiguated. Its two main meanings are disjoint, and separating them should be straightforward, as the amount of fixed-point combinator questions under it is rather small (I estimate there are about forty of them). In addition, there are quite a few questions about the fix function or the Fix type constructor not currently tagged [fixed-point] that would benefit from a disambiguated tag, and possibly the same goes for other language tags.

It should be mentioned there is a small handful of [fixed-point] questions not about either of the two main meanings. Up to now, I have seen:

I agree with the suggestions elsewhere in this discussion that should be left for fixed-point arithmetic. For fixed-point combinators, I prefer (or perhaps , if that is too much of a mouthful), as I don't feel is sufficiently disambiguating. Specific tags, such as and , could also be created for the other meanings as appropriate.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .