The advantages of static typing, simply stated (pchiusano.github.io)