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

Преимущества сильной типизации в программировании:

• Надёжность. habr.com В случае неправильных действий машина выдаст ошибку. gb.ru
• Оперативность. gb.ru При строгой типизации все преобразования прописываются максимально прозрачно, поэтому программист знает все медленные и наиболее затратные участки кода. gb.ru
• Понимание работы программы. habr.com Разработчик пишет её вручную и понимает тонкости каждой операции. gb.ru
• Определённость. habr.com Когда преобразования пишутся вручную, программист точно знает, что он преобразует и во что. habr.com Также он понимает, что такие преобразования могут привести к потере точности и к неверным результатам. habr.com

Недостатки сильной типизации:

• Сложность. habr.com Часто возникает необходимость в представлении комплексных значений, таких как списки, строки или структуры. habr.com
• Отсутствие проверок. habr.com Любые бессмысленные действия, например вычитание указателя на массив из символа, будут считаться совершенно нормальными, что чревато трудноуловимыми ошибками. habr.com
• Низкий уровень абстракции. habr.com Работа с любым сложным типом данных ничем не отличается от работы с числами, что создаёт трудности для разработчика. habr.com