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