Yes, a compiler can do that for you. One example: http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem http://blog.moertel.

Yes, a compiler can do that for you. One example: http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem http://blog.moertel.com/articles/2006/10/18/a-type-based-sol... (That was written over six years ago. Today, there are even better solutions that don't just apply static types to strings but to the language fragments within them.)