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