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