Опять про аниме пошла речь

Да что ж такое

Пора делать индастриал-онли хаскель чат

😊

переименуем все полугруппы в IConcatable

Да

Заживём!

Думаю, это полезная абстракция
Если у вас есть операция над некоторыми объектами, которая ассоциативна (первое свойство), то вам важен только порядок применения этой операции, но не расстановка скобок
Если есть нейтральный элемент (mempty), появляется понятие "применить операцию 0 раз"
Эти свойства с одной стороны довольно удобные, с другой довольно общие
Моноид просто их фиксирует, чтобы их можно было использовать полиморфно

Так как под капотом структуры стандартные реализованы через Java-объекты и мутабельные ссылки, рантайм может себе позволить деструктивное изменение. Но при этом блокирует эту возможность для других потоков. Если где-то были ссылки на эту же структуру, то будет создана копия. Если не было — рантайм обойдется без копирования.

вы тут повторяете про расстновку скобок, но не поясняете, почему это полезно

а существенная полезность - простое распараллеливание

Но ведь нет, просто некоторые использования моноида не будут работать, если нет ассоциативности

Ну то есть параллельность тоже, но это не первичное имхо

моноид уже подразумевает ассоциативность

Ну да, так вопрос в том, зачем она

какие моноиды кроме списка вы вообще используете в работе?

только сеты и мапы, для всего остального обычно нет моноида и просто используются специализированные функции

ну кстати monoidal map полезная штука, да

Моноид "конфиг" :) Те, что в optparse-applicative ещё.

типа из недавнего: есть модули, для каждого модуля есть тяжелая IO операция взятия списка импортов этого модуля. Нужно построить граф зависимостией

в итоге каждый для каждого модуля параллельно строится граф-звезда (moduleName -> [imports]), а потом эти графы мержатся "моноидально" в один граф