История изменений
Исправление hateyoufeel, (текущая версия) :
А где-то написано что операция [монадического связывания] ассоциативна?
Связывания — нет. А вот оператор <=< и его развёрнутая версия и правда ассоциативны. Но параллельности от этого особо не получить.
Просто монады можно определить как через >>=, так и через <=<, и через join. В хацкелле просто так исторически сложилось, что выбрали bind. В теории, можно было бы любой из трёх.
Собственно, та фраза про моноид в категории эндофункторов, она как раз про <=<.
Исправление hateyoufeel, :
А где-то написано что операция [монадического связывания] ассоциативна?
Связывания — нет. А вот оператор <=< и его развёрнутая версия и правда ассоциативны. Но параллельности от этого особо не получить.
Просто монады можно определить как через >>=, так и через <=<, и через join. В хацкелле просто так исторически сложилось, что выбрали bind. В теории, можно было бы любой из трёх.
Собственно, та фраза про моноид из категории эндофункторов, она как раз про <=<.
Исправление hateyoufeel, :
А где-то написано что операция [монадического связывания] ассоциативна?
Связывания — нет. А вот оператор <=< и его развёрнутая версия и правда ассоциативны. Но параллельности от этого особо не получить.
Просто монады можно определить как через >>=, так и через <=<, и через join. В хацкелле просто так исторически сложилось, что выбрали bind. В теории, можно было бы любой из трёх.
Исходная версия hateyoufeel, :
А где-то написано что операция [монадического связывания] ассоциативна?
Связывания — нет. А вот оператор <=< и его развёрнутая версия и правда ассоциативны. Но параллельности от этого особо не получить.