На главную Наши проекты:
Журнал   ·   Discuz!ML   ·   Wiki   ·   DRKB   ·   Помощь проекту
ПРАВИЛА FAQ Помощь Участники Календарь Избранное RSS
msm.ru
! Правила раздела:
1. Название темы - краткое описание кто/что против кого/чего
2. В первом сообщении - список параметров, по которым идет сравнение.
3. Старайтесь аргументировать свои высказывания. Фразы типа "Венда/Слюникс - ацтой" считаются флудом.
4. Давайте жить дружно и не доводить обсуждение до маразма и личных оскорблений.
Модераторы: Модераторы, Комодераторы
Страницы: (4) « Первая ... 2 3 [4]  все  ( Перейти к последнему сообщению )  
> ООП vs %name% , размышления о проектировании
    Цитата applegame @
    Там все равно присутствует монада IO:

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

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

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

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

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

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

    Вот тут рассказывается, как устроено IO в pure-FP вообще, и в Хаскелле в частности:
    https://www.youtube.com/watch?v=fCoQb-zqYDI
    Сообщение отредактировано: korvin -
      Цитата korvin @
      Поэтому монады в Хаскелле — это таки прикольная фича,
      Ты, видимо, как раз один из тех, кто перестал страдать от монад и начал ими наслаждаться. :)
        Цитата applegame @
        Ты, видимо, как раз один из тех, кто перестал страдать от монад

        Никогда от них не страдал, как и любой, кто ими пользовался.
        0 пользователей читают эту тему (0 гостей и 0 скрытых пользователей)
        0 пользователей:


        Рейтинг@Mail.ru
        [ Script execution time: 0,0317 ]   [ 16 queries used ]   [ Generated: 28.03.24, 22:22 GMT ]