Теперь вопрос — нахуя это все? А затем, что используя ту же самую логику ("сделай что-то, верни обернутое значение и передай результат дальше по цепочке") можно абстрагировать очень большое количество других видов вычислений. Например, пусть наша монада не IO, а ListIO (я ее только что изобрел). Как будет выглядеть программа? Да почти так же!

declare function inputM(): ListIO<int>;
declare function printM(value: ...): ListIO<Void>;

main = (_: Void) => do
    a <- inputM()
    b <- inputM()
    c <- a + b
    printM(c)
    printM("свинья^W монады охуенная тема")

do
    main()
    printM("Ну вот и посчитали!")

В чем разница? Мы придумали так, что ListIO работает не с отдельными значениями, а со спектром значений. Поэтому inputM возвращает не одно значение, а любое количество, а printM печатает не одно число, а сразу дохуя. Как это будет выглядеть?

> 10,100,1000,10000
> 20,200
30,210,120,300,1020,1200,10020,10200
свинья^W монады охуенная тема
Ну вот и посчитали!

Т.е. программа осталась той же, а логика работы поменялась. Вот эта логика (что делать со значением типа a + b, как передать значение дальше по цепочке) и есть основа монады. Мы могли бы сдлать что-то вообще такое:

declare function inputM(): Promise<int>;
declare function printM(value: ...): Promise<Void>;

main = (_: Void) => do
    a <- inputM()
    b <- inputM()
    c <- a + b
    printM(c)
    printM("свинья^W монады охуенная тема")

do
    main()
    printM("Ну вот и посчитали!")

И теперь общение с программой может выглядеть вот так:

> 10
    (...прошло полчаса)
> 20
    (...еще час)
30
    (...пару секунд)
свинья^W монады охуенная тема
    (...три месяца ожидания)
Ну вот и посчитали!

можно было просто сделать форвард

(пока все)

я писал в десктопном приложении

> 10
    (...прошло полчаса)
> 20
    (...еще час)
30
    (...пару секунд)
свинья^W монады охуенная тема
    (...три месяца ожидания)
Ну вот и посчитали!

АГА, ЗНАЧИТ ХАСКЕЛЬ НЕЧИСТЫЙ!!

конечно нечистый. а вот C чистый функциональный

так и знал

Ты либо очень быстро печатаешь либо безработный

Кек

Столько текста за 1 день

why not both

^ https://t.me/rust_offtopic/284277

Лол. Играю в прей и тут раст

Што такое прей

Игра какая-то

так понятно на частных примерах понятно что такое монада. но вообще определение более глубокая и абстрактная.