ООП vs %name% , размышления о проектировании

[korvin]

Цитата applegame @ 23.01.19, 09:15

Там все равно присутствует монада IO:

Ок, про unsafePerformIO я погорячился, думал, это кое-что другое.

Цитата applegame @ 23.01.19, 09:15

И всякие операторы вроде >>= и do-нотация - это тоже использование монад.

Оператор >>= — это монадическая функция bind, да, она в определении монады. do-нотация — просто синтаксический сахар для монад.

Монады можно использовать для любых типов вида * => * (т.е. для любых типов, имеющих один тип-параметр).
Например для списков.

Конкретно тип IO инкапсулирует RealWorld. Инкапсуляция нужна, чтобы не создавать дубликатов мира и прочие неожиданные эффекты. Монада (тайпкласс Monad) выбрана в качестве удобного интерфейса для манипуляций над IO, не более того.

Поэтому монады в Хаскелле — это таки прикольная фича, оказавшаяся ещё и удобной в качестве интерфейса к IO, более удобной чем unique types.

Вот тут рассказывается, как устроено IO в pure-FP вообще, и в Хаскелле в частности:
https://www.youtube.com/watch?v=fCoQb-zqYDI

Сообщение отредактировано: korvin - 23.01.19, 17:24

[applegame]

Цитата korvin @ 23.01.19, 17:16

Поэтому монады в Хаскелле — это таки прикольная фича,

Ты, видимо, как раз один из тех, кто перестал страдать от монад и начал ими наслаждаться.

[korvin]

Цитата applegame @ 24.01.19, 02:31

Ты, видимо, как раз один из тех, кто перестал страдать от монад

Никогда от них не страдал, как и любой, кто ими пользовался.