Hacker News Reader

>shift some cognitive burden from yourself to the compiler

This is the best way I've seen the advantages of static type checking articulated.

The line I use is: "I'm a very bad programmer, but I'm very good at making the compiler force me to get it right".