Scroll down
Static typing is to reliable programming what a spelling checker is to a good writer.
Seen in a message to the "Pragmatic Programmers" mailing list
