# Should the book "Types and Programming Languages" have a tag?

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.

1. 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
2. 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.
3. 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.

• Yes please add the tag. I know some questions are at the 5 tag limit so they can't have the tag added. Thanks. Jan 22, 2022 at 18:26
• @GuyCoder I added the tag. The search seems to find this book more often in answers, so this query is a bit more accurate. It seems I have no special tool to migrate these questions. I did a few by hand, feel free to do the rest yourselves, but please no more than 10 per day on questions that are more than a month old.
– Discrete lizard Mod
Jan 22, 2022 at 18:38
• To keep to only 10 per day I am parking the current query I use to find the Q&A here so that I don't have to retype it each day. Query Jan 24, 2022 at 8:55
• Since the answers to the question seem to be, at a first glance, "no", "no", "yes", why did we create the tag?
– Raphael Mod
Jan 25, 2022 at 8:46
• @Raphael Well, I disagree somewhat with that conclusion. It seems that the more important matter is whether we should have book-names as tags. I don't think this is a problem.
– Discrete lizard Mod
Jan 25, 2022 at 11:56
• Query 2 for adding tag. - pierce -[types-and-programming-languages] is:question Jan 30, 2022 at 8:23
• Query 3 for adding tag. types and programming languages is:question -[types-and-programming-languages] Jan 31, 2022 at 7:16
• Unless I think of a different query or go through thousands of questions for just single tags, I am done adding the tag. Feb 1, 2022 at 8:50
• There were many questions related to TAPL asked by a user Tim that I did not tag because he has a rep of 1 but from what I see the rep should be much higher. Feb 1, 2022 at 8:55
• Good. While there are some that are skeptical about the value of this tag, we can just wait and see whether the tag will catch on. Tim is currently suspended and cannot use this site during the suspension, which is why the reputation is 1. The reputation will return to the ordinary value when the suspension ends.
– Discrete lizard Mod
Feb 1, 2022 at 9:14
• Today I considered removing the tag from some of the questions if they had 0 or 1 vote(s) on the question and no answer or 0 or 1 vote(s) for the answer. After looking at them decided that some of them are good questions for someone working through the book, but in general not very useful for someone with experience. If the person wants more info or a better answer they can add a bounty so left the tag in place to make the question easier to find and so that the person can see that others too had a problem with that part of the book. Feb 2, 2022 at 10:42

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.

So and is in my opinion a better tagging than .

• I agree with this. Unless somebody were working through the exercises of a book -- which I'm not sure SE is the right plattform for -- tagging for books is not useful for searching or categorizing content.
– Raphael Mod
Jan 25, 2022 at 8:45
• @GuyCoder Maybe, but then that exceeds the scope of the CS SE. Jan 26, 2022 at 10:59
• @GuyCoder I was only saying that adding a new category of tag with a different behaviour requires a big change on SE itself and is only in the scope of the SE developping team, so this kind of question should be asked on Meta. Sure, we could discuss here whether it is relevant or not, but even if we argue, the final decision is not in our hands. Jan 26, 2022 at 19:06
• @GuyCoder I agree with Nathaniel that such a change would require significant development effort, and I don't think it is very useful. The tag system is flexible enough to support various tags, and the limit of 5 is simply to make sure the tags actually fit. Not every question related to this book needs to have the tag of the book, if other tags are more relevant.
– Discrete lizard Mod
Jan 27, 2022 at 9:42