M>>Ага. При обновлении кода клиента. Ну вот мы обновили код клиента в насквозь динамическом Эрланге, и все заработало на ура.

WH>Ты в каком из двух сообщений врёшь?

Ни в одном. Ты просто не способен понимать, что твои оппоненты пишут.

WH>Если бы схема проверялась статически, то таких ошибок бы не было.

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

Более того. Вот это полностью статически типизированная, абсолютно правильная с точки зрения типов реализация:

to_json :: Object -> string
to_json(Object) ->
   "выплевываем правильно сформированный JSON."