2
Paul Chiusano: The advantages of static typing, simply stated (pchiusano.github.io)