> -- Alexey Veselovsky писал(а):
> Монада Maybe с ручным приводомПохоже, но не совсем:> -- википедия писал(а):
> Maybe (монада вычислений с отсутствующими значениями): стратегия связывания — «если первое вычисление дало результат, то второе; иначе — отсутствие результата»;то есть с помощью монады Maybe не получится выяснить, на каком этапе произошёл сбой; также нет ветки ELSE. Но, в принципе, думаю, нетрудно сделать нужный вариант такой монады, будет время, попробую...
Что бы номер сбойной ветки получить, возможно, придётся трансформатором монад совместить Maybe и State.