Я лично за статическую типизацию с автовыводом типа, ну максимум - за смешанную
Это уменьшает число багов в ран-тайме, да и может ускорить работу виртуальной машины ака Платформа 1С.
Знаю только 1С и плохо понимаю про что речь :)
В целом, я за то, чтобы у одной и той же переменной типы не менялись "по ходу пьесы" - будет меньше путаницы.
Но вопросы сходу:
1) Делаем процедуру в расчете, что в переменная - составная из двух типов документов. А потом добавляется третий, который вполне нормально "съедается" этой процедурой без её изменения. Тогда в случае статической типизации - нам переписывать эту процедуру?
2) Работа с внешними компонентами и COM-объектами: не получим ли кучу новых проблем при получении ответов от них или передачи им параметров?
Что такое типизация?
Чтобы обнаруживать ошибки, программист должен иметь ум, которому доставляет удовольствие находить изъяны там, где, казалось, царят красота и совершенство. Фредерик Брукс-младший