Static typing is to reliable programming what a spelling checker is to a good writer.
- Peter Van Roy - Seen in a message to the "Pragmatic Programmers" mailing list