You are right. On the other hand, in practice, implementing it in language (really, compiler) seems more effective than in library, as in reducing number of bug

You are right. On the other hand, in practice, implementing it in language (really, compiler) seems more effective than in library, as in reducing number of bugs. Why it is so is an interesting question, but is not very relevant to empirical basis of safe language evangelism.