Здравствуйте, alex_public, Вы писали:

_>Здравствуйте, gandjustas, Вы писали:

G>>Неверно. В монаде скрыт control flow для unhappy path, но не присутствие unhappy path. С исключениями скрывается именно присутствие неявных выходов, которые кроме как чтением документации не определить.

_>Да, всё правильно, подходы у этих принципов абсолютно различные. Но ключевое преимущество (по сравнению с вариантом в лоб) у них общее — количество кода на обработку особой ситуации не зависит от количества операций в цепочке.

Да, монады и сахар в языках для них для этого и были придуманы.


_>Ну а то, что придётся читать документацию для использования некого api — это вроде как абсолютно нормально. )))
Только это никто не делает. Поэтому явно выражать все в типах гораздо эффективнее, чем разбираться почему уже оно падает.