Здравствуйте, Mamut, Вы писали:
M>Ты перечитай мойАвтор: Mamut
Дата: 05.02.15
«простейший пример с предусловиями» и все таки попробуй его реализовать своей статической типизацией. Благо, у меня там есть «подряд идут три элементарные операции, а не одна».
M>Вы все решаете какие-то свои простейшие примеры уровня «hello, world», но при этом уверены, что они сложнее, чем моя задача. Ты сделай усилие и почитай мою задачу. Там есть и предусловия, и последовательность действий, зависящая от этих предусловий (надо сделать risk check, auth запрос, capture запрос, увеличить сумму), и ad-hoc изменения требований... Ну то есть ровным счетом все то, в чем, согласно вашим многочисленным заявлениям, стат. типизация прекрасно помогает.
M>Но, почему-то, никто так и не родил решения 
ОК, тогда я твою задачу неправильно понял (а ты меня ни разу не поправил).
Раз это всё действия, а не просто проверки, ты можешь добавить в описание свой задачи список действий и предусловий на них?
Потому что я предполагал, что это все — просто огромная толпа предусловий к increase_amount.
Я правильно понял, что, помимо increase_amount, еще есть действия risk check, auth запрос, capture запрос?
Если да, то в каких случаях каждое из них можно звать, а в каких — нельзя?
