AD
контекст это термин из компутер сцаенса или вы только что его придумали
Из цс
A monad is a container type together with a few methods defined on it.
Size: a a a
2020 August 02
EB
𝛈µ
A monad is a container type together with a few methods defined on it.
Хорошее определение
EB
а хаскель вики имеет несколько определений на разных страницах для максимально широкого подрыва пердаков трудящихся
𝛈µ
Точное, главное
AD
Да, монада содержит тип, юнит, бинд, лефт идентити, райт идентити, асосиативити
EB
если кто-то сказанул что монада это контейнер скидываешь что монада это последовательность вычислений, а если кто-то пишет что монада абстрагирует последовательность вычислений пишешь что это контейнер
AD
Контейнер и не поспоришь
𝛈µ
"контейнер" - хотя бы дает разумную интуицию
AD
Ридер монада
𝛈µ
Да, монада содержит тип, юнит, бинд, лефт идентити, райт идентити, асосиативити
Чего она содержит?
AD
Монада это 6 вот этих штук
AD
Не конкретный экземпляр
EB
"контейнер" - хотя бы дает разумную интуицию
если монада это контейнер, нафига они нужны по твоей логике
𝛈µ
структура с операциями...удовлетворяющая законам...
𝛈µ
если монада это контейнер, нафига они нужны по твоей логике
хранить в них котиков
VE
контекст это термин из компутер сцаенса или вы только что его придумали
Конечно придумал, контекст в данном случае - свойства конкретной монады, например монада IO - позволяет описывать вычисления с сайд-эффектами как значение, монада Either позволяет описывать вычисления, результатом которого может быть значение одного из двух типов
EB
а без них никак их не похранишь?
VE
IO - контейнер?
AD
1 :: 2 :: 3 :: Nil это не сама монада