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