M>>Ну покажи пример неэлементарной операции Мы готовы рассматривать любые случаи, любые операции. Только вот никто не показывает Все упирается в два условия и «а дальше все понятно»

_>Ты уже совсем забыл этот http://rsdn.ru/forum/philosophy/5971692

Автор: alex_public
Дата: 03.03.15

мой примерчик? )

Этот твой примерчик даже близко не сможет реализовать мой «простейший пример». Ну и не реализовал, как видим. Но гонора-то, гонора!

Ты перечитай мой

Автор: Mamut
Дата: 05.02.15

«простейший пример с предусловиями» и все таки попробуй его реализовать своей статической типизацией. Благо, у меня там есть «подряд идут три элементарные операции, а не одна».

Вы все решаете какие-то свои простейшие примеры уровня «hello, world», но при этом уверены, что они сложнее, чем моя задача. Ты сделай усилие и почитай мою задачу. Там есть и предусловия, и последовательность действий, зависящая от этих предусловий (надо сделать risk check, auth запрос, capture запрос, увеличить сумму), и ad-hoc изменения требований... Ну то есть ровным счетом все то, в чем, согласно вашим многочисленным заявлениям, стат. типизация прекрасно помогает.

Но, почему-то, никто так и не родил решения