The Power of Static Typing