- Есть заказ.
- Пока заказ не помечен, как отправленный, можно уменьшать и увеличивать сумму заказа
- Величина, на которую можно увеличить сумму заказа, зависит от:
  - Страны, в которой сделан заказ по конфигурируемому умолчанию
    - для Германии:
      - уменьшить можно на max(10% от оригинальной суммы заказа, 10 евро)
      - увеличить можно на max(10% от оригинальной суммы заказа, 10 евро)
  - Магазина, в котором сделан заказ
    - если конфигурации для магазина нет, берутся умолчания для страны магазина
  - если заказ помечен, как pre-paid, увеличивать сумму нельзя, уменьшать можно
    - уже есть тикет, который позволяет увеличивать сумму заказа для pre-paid заказов в зависимости от конфигурации магазина
M>

  type Order is
    ID: Integer;
    Sum: Money;
    Sent: Boolean;
  end;

  type SentOrder is Order where Sent = true;
  type UnsentOrder is Order where Sent = false;

  function SendOrder(order: UnsentOrder): SentOrder is
    ...
  end;

  function ChangeOrderSum(order: UnsentOrder, newSum: Money): UnsentOrder is    // эту функцию нельзя вызвать для заказа, у которого Sent равно true!
    ...
  end;

  function PrintOrderDetails(order: SentOrder) is
    ...
  end;

  var order := CreateOrder(1, 12000.00);
  order := ChangeOrderSum(order, 2800.23);
  order := SendOrder(order);
//  order := ChangeOrderSum(order, 5555.00);    // error
  PrintOrderDetails(order);    // OK

update_order(Order, Amount) ->
  Estore         = order_api:get_estore(Order),
  Country        = estore_api:get_country(Estore),
  OriginalAmount = order_api:get_original_amount(Order),
  AmountDiff     = OriginalAmount - Amount,

  case AmountDiff > 0 andalso order_api:is_prepaid(Order) of
    true -> {error, amount};
    false -> 
        %% config сам определяет, что брать — конфиг магазина или страны,
        %% если 
        MaxIncreasePct = config:get_max_config_increase_pct(Estore),
        MaxIncrease    = config:get_max_config_increase(Estore),
        MaxDecreasePct = config:get_max_config_decrease_pct(Estore),
        MaxDecrease    = config:get_max_config_decrease(Estore),

        case (AmountDiff < 0 andalso abs(AmountDiff) > max(....)).... of
           true -> {error, amount};
           false -> 
             UpdatedOrder = order_api:set_amount(Order, Amount),
             order_ops:write(UpdatedOrder)
        end
  end.

ARK>  type SentOrder is Order where Sent = true;
ARK>  type UnsentOrder is Order where Sent = false;

ARK>  function ChangeOrderSum(order: UnsentOrder, newSum: Money): UnsentOrder is    // эту функцию нельзя вызвать для заказа, у которого Sent равно true!
ARK>    ...
ARK>  end;

ARK>  var order := CreateOrder(1, 12000.00);
ARK>  order := ChangeOrderSum(order, 2800.23);
ARK>  order := SendOrder(order);
ARK>//  order := ChangeOrderSum(order, 5555.00);    // error
ARK>  PrintOrderDetails(order);    // OK

ARK>

Order = read_order_from_db(OrderId),
change_order_amount(Order, Amount).

M>>>Order = read_order_from_db(OrderId),
M>>>checnge_order_amount(Order, Amount).
M>>>

ARK>>Внезапно в этом месте будет ошибка компиляции — ибо checnge_order_amount хочет не тот тип, который выдает read_order_from_db. Какая печаль.

  Order = read_order_from_db(OrderId);
  if (Order.Sent = true)
    change_order_amount(Order, Amount);

M>Ерунду написал

M>>>Я об этом (среди прочего) и говорю уже пятнадцать сообщения подряд Нет, «магический тайпчекер все проверит»

M>>>Order = read_order_from_db(OrderId),
M>>>checnge_order_amount(Order, Amount).
M>>>

Order[New] order = read_order_from_db(OrderId)
Order[Processed] processedOrder= order.processSomehow()

при этом имея метод: 
void checnge_order_amount(Order[Processed] order, Amount amount) 

ну и: 
checnge_order_amount(order, Amount) << ошибка
checnge_order_amount(processedOrder, Amount) << ок

M>>13 января заказ уже имеет статус «обработан и отослан». Нет никакого read -> process -> change_amount. Есть read -> change_amount.

G>Я тебе идею иллюстрирую, а ты к конкретной строчке докопался .

Order = read_order_from_db(OrderId),
update_order_amount(Order, Amount)

M>Я понимаю, что идея. Только уже сколько раз эти идеи мало соотносятся с реальностью И твой пример, и первый пример AlexRK строго зависит от того, чтобы все изменения шли друг за другом, чтобы компилятор видел, что происходит в каждой точке с этим объектом

M>Order = read_order_from_db(OrderId),
M>update_order_amount(Order, Amount)
M>

public Order[*] read_order_from_db(OrderId id); // читаем уже правильный ордер, либо Order[New] либо Order[Processed]

G>public Order[*] read_order_from_db(OrderId id); // читаем уже правильный ордер, либо Order[New] либо Order[Processed]
G>

public Order[*] read_order_from_db(OrderId id);

// каким образом тут компилятор проверит, что за Order сюда идет?
// заказ же из базы читается
change_order_amount(Order, Amount)

M>- Есть заказ.
M>- Пока заказ не помечен, как отправленный, можно уменьшать и увеличивать сумму заказа
  ...
M>  - если заказ помечен, как pre-paid, увеличивать сумму нельзя, уменьшать можно
M>

data NewOrder -- основные качественные состояния заказа
data PrepaidOrder 
data SentOrder

type Money = Int -- для простоты тут такие заглушки, реально Money описывает неотрицательные суммы в нужной валюте
type OrderInfo = [String] 

data Order state = Ordr Money OrderInfo -- тип заказа параметризован состоянием

class CanChangeAmount a  -- в каких состояниях можно менять сумму
instance CanChangeAmount NewOrder
instance CanChangeAmount PrepaidOrder

--уменьшить сумму. работает лишь для нужных состояний, сохраняет состояние
decreaseAmount :: (CanChangeAmount state) => Order state -> Money -> Order state
decreaseAmount (Ordr amt info) delta = Ordr (amt - delta) info

--увеличить сумму. работает лишь для того состояния, где это разрешено
increaseAmount :: Order NewOrder -> Money -> Order NewOrder
increaseAmount (Ordr amt info) delta = Ordr (amt + delta) info