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