ДП
это НЕ ТА монада и НЕ ТОТ функтор что в математике
Меня лично долго терзало, почему монада не является моноидом :( что за безобразие!
Size: a a a
2018 March 16
AK
Меня лично долго терзало, почему монада не является моноидом :( что за безобразие!
монада это контейнер/операция, а моноид примитивное множество данных, которое может быть пустым, но об этом — в канале https://t.me/kanaflow, где всё объясняется простым и понятным языком
к
монада это контейнер/операция, а моноид примитивное множество данных, которое может быть пустым, но об этом — в канале https://t.me/kanaflow, где всё объясняется простым и понятным языком
так, это был сарказм сейчас или че?
к
я просто не уверен
к
но я такого точно не писал)
A
ну я ж написал что для расчетов, ты тоже самое написал))))
AP
> монада не является моноидом
является. В категории эндофункторов :)
является. В категории эндофункторов :)
AP
> монада это контейнер/операция, а моноид примитивное множество данных, которое может быть пустым
какое ещё множество?
какое ещё множество?
AP
Число - множество?
AP
Для чисел есть аж два инстанса моноида (и это только сходу) - сумма и произведение
AP
Некий тип может относиться и к моноидам и к монадам. А может и не относиться.
AP
Maybe, например, относится и к монадам и к моноидам.
к
Maybe относится к моноиду относительно монадностиMaybe a (это уже другой тип) относится к моноиду относительно других реализацийg
Число - множество?
Элемент множества.
AP
> а моноид примитивное множество данных, которое может быть пустым
AP
не "множество может быть пустым", а "в множестве есть некий элемент, нейтральный для заданной ассоциативной операции"
g
не "множество может быть пустым", а "в множестве есть некий элемент, нейтральный для заданной ассоциативной операции"
Ну, empty monoid, наверное, тоже занятная штука.
AP
т.е. множество, где только нейтральный элемент и есть?
AP
Тогда оно не пустое же :)