IK
Size: a a a
2021 April 13
АГ
Ну вон же на футболке. У меня тоже есть футболка с принтом Хаскеля, там он поменьше будет
˸A
Я все его 14 лекций посмотрел. Очень советую
˸A
Как я понимаю, pure - и есть "единица" моноида в монаде
JS
категорные моноиды — заковыристая и не очень полезная программисту теория
˸A
Не соглашусь
JS
и категорный моноид — это не то же, что алгебраический моноид
JS
нет, умножению соответствует монадный join
JS
join :: m (m a) -> m a
join mma = mma >>= id˸A
У нас же два операнда должно быть в операции на полугруппе
JS
можно смотреть на это как на расширение concat
JS
категорный моноид — это не то же, что алгебраический моноид
JS
как вы можете не соглашаться, если не знаете, о чём речь?
˸A
Да. Это обопщение, но это не отменяет, что операнда два (две стрелки)
˸A
Почему решили, что не знаю?
JS
в теории две монады схлопываются в одну