Каковы основные преимущества и недостатки использования статической типизации в программировании?