[plt-scheme] Why do folks implement statically typed languages?

On 5/31/07, Richard Cobbe <cobbe at ccs.neu.edu> wrote:
> Are there static type systems that can protect against, e.g., SQL
> injection?

Not that I know of.  However you could define your SQL library using,
say, a 'validated' type instead of strings and then your type system
will prevent you from using string that haven't been validated.  Of
course you can do this with dynamic checks as well, with the usual
tradeoffs.

Joel on Software has a post justifying the use of Hungarian notation
to implementation a poor man's type system for a similar use.

N.