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