Should the book "Types and Programming Languages" have a tag?
If so, what should that tag be named?
I have a few personal criteria for when we should have a new tag.
- Are there many questions that benefit from the tag? https://cs.stackexchange.com/search?q=types+and+programming+languages+book gives 88 results, so this seems reasonable
- Does this tag help people find the tagged questions, or the questions that do not have this tag? If the tag is about a book and the exercises within, then this should be helpful.
- Are there existing tags that can be combined to get the same information? https://cs.stackexchange.com/questions/tagged/type-theory+programming-languages has 112 questions, so this point it doesn't pass. However, this may change in the future, and this new tag does not seem suitable as a synonym for a single existing tag, so this point is probably not that relevant.
So, it seems adding this tag is fine. If you want to retag a large amount of questions, please let me know, diamond moderators can do this a bit easier and better than other users.
I will no be opposed to the creation of such a tag, but in my opinion, it is a bit weird. I feel that tags should describe concepts, themes, families of algorithms, etc.
For example, the research on "CLRS" gives 564 results, but I don't think a tag CLRS would be a good idea, because it would implicitly require someone who wants to answer to know the book rather than the concepts.