M>>Добавь, пожалуйста. Я же не просто так прошу привести пример законченного решения
J>Как я говорил, все зависит от того, сколько проверок ты захочешь перенести в типы. Можешь оставить вот так, как есть, а можешь разнести на минипроверки и свойство на каждое.

Перенеси, пожалуйста.

Тебе напомнить про то, что ты сюда принес презентацию из банка. Ты так же утверждал, например, «поможет компилятор — как раз с ad-hoc изменениями требований».

Я специально привел типичную для банка задачу. Специально внес в нее условия и ad-hoc изменения.

Результат?

Proof of concept

Автор: jazzer
Дата: 10.02.15

с двумя условиями. Не решает даже первого пункта из моей задачи. Заканчивается на «ну там все легко/понятно/очевидно». Когда спрашиваешь: «мне не понятнои не очевидно, можно увидеть это развернутее», получаю раз за разом «что тебе там непонятно»


И все хором говорят про простоту задачи, тривиальность и очевидность

Могу во второй раз спросить: покажи мне, пожалуйста, реализацию того самого «очевидно понятного мета-свойства IncreaseAmountOK», желательно в сочетании с кодом, чтобы можно было увидеть, как все эти заявления работают на практике? Если это очевидно и понтяно ©™

Я уже даже не прошу от тебя реализовать все три шага задачи