На главную
ПРАВИЛА FAQ Помощь Участники Календарь Избранное DigiMania 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 -
    “Object-oriented design is the roman numerals of computing.” — Rob Pike
    All software sucks
      Цитата korvin @
      Поэтому монады в Хаскелле — это таки прикольная фича,
      Ты, видимо, как раз один из тех, кто перестал страдать от монад и начал ими наслаждаться. :)
      error: 'long long long' is too long for GCC
        Цитата applegame @
        Ты, видимо, как раз один из тех, кто перестал страдать от монад

        Никогда от них не страдал, как и любой, кто ими пользовался.
        “Object-oriented design is the roman numerals of computing.” — Rob Pike
        All software sucks
        1 пользователей читают эту тему (1 гостей и 0 скрытых пользователей)
        0 пользователей:


        Рейтинг@Mail.ru
        [ Script Execution time: 0,0691 ]   [ 14 queries used ]   [ Generated: 19.06.19, 19:01 GMT ]