3

There are currently two similarly named tags, and some of the questions are related to the Facebook Infer tool: - - 21 questions (no wiki) - - newly created tag, two questions (no wiki)

What should be devoted to? If it is about type inference, then we should retag other questions to .

3
  • If facebook-infer is unambiguous, move all the questions towards that one. Then check what's left of the infer tag.
    – Braiam
    Commented Apr 29, 2019 at 12:50
  • @Braiam yes, it is unambiguous. I'm more concerned about future questions that will be created and use wrong tag by mistake. Commented Apr 29, 2019 at 13:12
  • The first step is to use the "correct" tag. Facebook infer, despite not having tag excerpt is pretty clear what the question is about. If you find a better tag for a question, isn't your prerogative to use the better tag?
    – Braiam
    Commented Apr 29, 2019 at 13:14

1 Answer 1

1

There were a bunch of questions about the word "infer" and not the FB "infer", which I retagged. Amongst those some (10) were related to Type inference, I tagged them with .

There were a couple of questions related to a R library called infer, which I tagged with .

Looks like there were just 6 questions left with the tag, after the cleanup. I merged the remaining questions in the tag with .

Given that 10 of the questions were related to as opposed to 6 related to FB's infer tool, I made a synonym of .

The next step is to add a tag wiki to the , after which we can place bets on whether that'll be sponsored some day.

2
  • Somebody already created a wiki, and I've proposed an excerpt Commented May 1, 2019 at 8:39
  • 10 reputation on Facebook claiming it.
    – S.S. Anne
    Commented May 1, 2019 at 22:20

You must log in to answer this question.

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