While the language can prevent certain errors on itself, errors can also be found with static analysis and testing, and prevented with paradigms and experience.