Разногласия возникают не из-за разницы взглядов на решаемую проблему.
Причина — в психике и, вероятно, нейрофизиологии.

Если послушать аргументы сторонников динамической типизации, в них звучит одна эмоция — страх. Страх не справиться с собственным кодом, что типы не дадут реализовать задуманное просто. Страх, что типы будут мешать писать код, что при расширении придётся переделывать все многочисленные типы — со временем или при использовании другими людьми.
Когда боишься, что придут родители и станут контролировать твой образ жизни, хотя это в твоих интересах (если система типов достаточно мощная, а не как в паскале и си - это не самые умные "родители", но это не всегда понятно из-за парадокса блаба).

У автора:

«Тем, кто в разработке давно, очевидно — компилятор не спасает от ошибок», «IDE… и не делает код делает код лучше структурированным». «JS-ник, убирает этот мой тип… и обретает свободу»

Тем, кто в разработке давно, очевидно — типы спасают от ошибок, и делают код лучше структурированным.

Но страх — очень сильная эмоция. Кто-то с ним (и заодно со сложностью) справляется лучше, а у кого-то мозг просто устроен по-другому. И в дело вступает любимая психологическая защита людей с высоким интеллектом — рационализация.