> PHP SQL injection attacks, for example, were caused not by type errors Great example: SQL injection are catchable with types. Instead of using "String", what

> PHP SQL injection attacks, for example, were caused not by type errors Great example: SQL injection are catchable with types. Instead of using "String", whatever risks getting SQL injection attacks should only accept "EscapedString".