The type-safety tag is used to mean all sorts of different things:
- In all languages, it often refers to some sort of enum.
- In C++, it often means template (Edit: there is a proposal to merge into generics).
- In C# and Java), it often means generics. (most other languages that support the concept use word too).
- I'm not sure exactly what it means in Haskell, F#, and Scala.
There are only 41 questions so it should be an easy burnination. Most of the questions already have the appropriate other tag so nothing is lost if we just delete it.