M>>Нет-нет-нет, мы хотим сегодня, нет-нет-нет, мы хотим сейчас

O>Вот это решение

Автор: artelk
Дата: 06.02.15

как раз подойдёт. Добавить в кортеж "Order" признаки "received", "checked", "approved" и так далее — и потребовать, чтобы заказы были допущены к исполнению только в случае, если они были проверены (т.е. у них стоит соответствующий флажок). Проверки сделать через сопоставление с образцом.

Можно код полностью, пожалуйста? А то «добавь тут, добавь там, допущены к исполнению» — это как-то сверх-абстрактно

O>Это не отличается от проверок с помощью типов, но, правда, есть один НЮАНС!
O>В ирлонгах отсутствует изменяемое состояние, поэтому ставить флажки не получитьса. Надо будет создавать каждый раз новый кортеж...

Ээээ чо?