История изменений

Вот погодите оба. Если мы отталкиваемся от пресловутого, «монада в категории М есть моноид в категории ее эндофункторов» ,то мы должны признать, что монада — это как раз тот контейнер в котором производятся определенные действия. Вот рассмотрим пример от коллеги dura4ok11 c f [-1, -2, 4] == [8]. Ассоциативная операция тут, КМК — это последовательное применение блока do к каждому элементу массива. То есть, мы считаем, что у нас сцеплены функторы do и ассоциативная операция — это применение блока do к каждому элементу массива. Монадная операция — это сам факт применения функтора последовательно.

Вот погодите оба. Если мы отталкиваемся от пресловутого, «монада в категории М есть моноид в категории ее эндофункторов» ,то мы должны признать, что монада — это как раз тот контейнер в котором производятся определенные действия. Вот рассмотрим пример от коллеги dura4ok11 c f [-1, -2, 4] == [8]. Ассоциативная операция тут, КМК — это последовательное применение блока do к каждому элементу массива. То есть, мы считаем, что у нас сцеплены функторы do и ассоциативная операция — это применение блока do к каждому элементу массива. Монадная операция — это сам факт применения функтора.