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

From: Noel Welsh (noelwelsh at gmail.com)
Date: Thu May 31 13:20:12 EDT 2007

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

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


Posted on the users mailing list.