Python added type annotations, and since they're very new, there are a large number of questions about how to use them. People use different tags to mark these questions:
- python and type-hinting (140 questions)
- python and typechecking (63 questions)
- mypy (55 questions)
- python and typing (49 questions)
- python and static-typing (25 questions)
and occasionally something like python types (891 questions, almost none of which are about type annotations).
mypy is the most actively used type checker, and all mypy questions are actually just general type annotation questions, not specific to mypy (at least I haven't seen any question specific to mypy extensions).
Should we manually change all these tags to the most popular one (python type-hinting) when we see them to make the tagging more consistent?
Too bad synonyms cannot be defined to map a pair of tags into a single tag or vice versa; otherwise we could map everything to the python type-hinting pair.
UPDATE:
I'll wait until Tuesday 4/11 to get any additional comments.
The concerns expressed by @BhargavRao is that automatic retagging will bump the new tag to the home page causing python to be flooded with type-related questions. Currently, there are ~2.5 python questions updated per minute. I'd retag questions at 1/10th of that rate, or 1 question every 4 minutes. This means retagging will complete within ~1 day (~300 questions total). Of course, I can lower the rate if someone thinks it's too fast.
The script logic I have in mind is:
- Find all questions that are tagged with any of the tag combinations #2 through #5 (listed above) and that don't have type-hinting.
- Every 4 minutes, select one question, and if there's enough tag slots left, add type-hinting.
I think removing tags is too dangerous, although I'm open to suggestions.
I'll share the script in case anyone wants to run it in the future again.
I hope that Stack Overflow automated tag suggestion system will notice that type-hinting is used for questions with certain keywords, and will often suggest it for new typing-related questions.
If anyone has any ideas about how to use synonym system to help reduce inconsistent tagging of this topic, maybe add a comment?
EDIT: The retagging started. I removed a few irrelevant questions manually from the queue, and set the earliest allowed date to 2015-01-01 because PEP 484 was all but unknown until then. I also increased the delay to 10 min.
UPDATE: A moderator alerted me to the problem with my script unintentionally converting markdown to the much noisier HTML. I stopped the retagging and rolled back the changes. I do not want to risk automatic retagging again, even after I fix the problem. But if any moderator wants a list of questions that should be retagged, I have it.