Re[19]: Про типы и логику
От: WolfHound  
Дата: 11.02.15 09:44
Оценка:
Здравствуйте, Mamut, Вы писали:

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

В одном сообщении ты говоришь, что всё работает на ура.
А в другом говоришь, что сыпятся ошибки типов.

M>Клиенты нам пишут чем угодно, никаких проблем с проникновением неправильных типов на сервер у нас нет, от слова вообще.

Зато есть проблемы с отправкой. Ибо клиенты не делают статических проверок типов по схеме при генерации JSON.

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

И кто тут не понимает, что ему говорят?
Если в схеме прописаны типы, то мы можем статически проверить код, который генерирует JSON.

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

И в каком месте тут идёт статическая проверка схемы?
... << RSDN@Home 1.2.0 alpha 5 rev. 62>>
Пусть это будет просто:
просто, как только можно,
но не проще.
(C) А. Эйнштейн
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.