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