WH>Я говорю всего про два:
WH>1)Программисты должны быть адекватны. Иначе в любом случае всё будет плохо.
WH>2)Статическая типизация должна быть.

И в случае с распределенными сервисами: клиенты должны быть обновлены одновременно с сервером (возможно, подпункт первого условия).

«Адвекватность» программистов измеряется чем? Могу только повторить. Абсолютно адекватный, полностью статически проверенный код:

to_json :: Object -> string

И не прикопаешься, все условия выполнены

WH> Жаловаться на то, что статическая типизация не работает, если её нет весьма странно.

В первом случае статическая типизация была, она сильно помогла?

WH> Твой второй пример именно про случай, когда её нет.

Я не вижу, каким образом это «случай, когда ее нет». Ах да, мы упираемся в неизвестные критерии «адекватности программистов», ага