Зачем нужны монады?

Question

[beduin01]

Прочитав статью понял, что монада - это обертка над последовательностью методов, которая позволяет обрабатывать ошибки возникающие в случае если один из методов не получил данные и упал.

Собственно вопрос - правильно ли я понял идею?
Второй вопрос, который был поднят в комментариях -- почему бы не выбросить исключение вместо того, чтобы возвращать половинчатый результат.

Если можно объясните простыми словами.

Answer 1

[Vov Vov]

Я как-то был на лекции по функц. программированию и лектор сказал, что если вы спрашиваете зачем вам использовать монады, тогда вам не нужно использовать монады, так что послушай умного человека (лектора) и расслабься :)

Comments

[kazmiruk]

Т.е. по логике этого "умного" лектора с подобными знаниями рождаются?

[Vov Vov]

kazmiruk: я не знаю, это фактически была прямая речь :) Меня больше интересовали особенности функциональной парадигмы в Питоне :)

[memba]

Я как-то приехал в автосервис, к дилеру, с жалобами на посторонний звук в подвеске. Мы сели с мастером в машину и стали колесить по кварталу ловля ямки.

Я ему говорю - "вот слышите звук".
Он говорит - "нет..."

Так мы ездили 10 минут и он ничего не слышал. Потом мастер взял, протянул руку и сделал радио погромче - "Теперь слышишь?"

Я говорю - "нет, теперь не слышу"
Он - "вот так и езди"

Короче, я теперь настороженно отношусь ко всяким "мастерам" своего дела.

[Vov Vov]

memba: понятное дело, экспертиза дело напускное :)

Answer 2

[Сергей Протько]

Ух, просто не выйдет. Грубо говоря это альтернатива null-ам, но не только. Они в принципе обобщают много чего.

Рекомендую почитать: habrahabr.ru/post/151703 + пробегитесь по комментам. Там и ссылки хорошие дают, и мысли высказывают неплохие.

Comments

[Николай Павлов]

Альтернатива null-ам это Optional) А монада это просто цепочка вызовов)

[Максим Мосейчук]

Николай Павлов: Монада - это набор свойств. А цепочка вызовов это просто цепочка вызовов.

[Николай Павлов]

fshp: набор свойств это набор свойств. )

[Максим Мосейчук]

Николай Павлов: ну нет же. Я не точно выразился. Монада - множество элементов, обладающих определёнными свойствами. У цепочки вызова может быть какое-либо название, но не монада.

[Николай Павлов]

fshp: а я считаю что это просто цепочка связных вычислений и с этим я полностью согласен с вики. Не правильно говорить, что это множество элементов. По сути это цепочка вызовов/действий над какими-то данными.

Answer 3

[Александр Ручкин]

То, что вы описали - частный случай.
Вот несколько частных случаев (хаскель vs псевдокод).
Обратите внимание, что на Хаскеле код линейный
То, что сделано монадами, в других языках нередко встроено. Удобство невстроенного решения в том, что есть немало функций, которые работают с любыми монадами (mapM, filterM, ...), применить которые к встроенным в язык вещам может быть проблематично.

1. nullable

do
    x <- foo
    y <- bar x
    return $ baz y

вместо

x = foo();
if (x) {
    y = bar();
    if (y) {
        return baz(y); } }

2. списки

do
    x <- lines str
    y <- words x
    return $ length y

вместо

for (x in lines(str))
    for (y in words(x))
        yield y.length();

3. continuation

do
    h1 <- ContT $ withFile "1.txt" ReadMode
    h2 <- ContT $ withFile "2.txt" WriteMode
    liftIO $ ...use handles...

вместо

using (h1 = File.Open("1.txt", File.Mode.Read)) {
    using (h2 = File.Open("2.txt", File.Mode.Write)) {
        ...use files... }}

Причем можно, например, и так:

do
    -- сразу список файлов открываем
    hs <- mapM (\name -> ContT (withFile name ReadMode))
        ["1.txt", "2.txt", "3.txt", "4.txt"]

А как сделать так с using'ами?