The Power of Static Typing in Programming