Yes, a compiler can do that for you. One example:

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.)