Или единица!

mempty и mappend только в паре идут

Смотря какая операция ;)

когда?

или 42

Обычно ноль. Почему его не сделали моноидом по сложению?

MAX_INT

еще раз, если нужен дефолтный элемент, то это уже задача в скоупе домена, поэтому и нужно делать свой класс и свои инстансы ровно под задачу

Для произведения нейтральный элемент - единица

Произведение нужно реже

Произведение нужно реже

такой себе аргумент

Можно и обернуть

Обычно ноль. Почему его не сделали моноидом по сложению?

Потому что есть ещё произведение

Обычно ноль. Почему его не сделали моноидом по сложению?

Потому что у инта два очевидных моноида. Поэтому есть Sum и Product

Делаем два моноида?

"Нужно реже" - плохой аргумент. Поэтому есть Sum и Product, да

Обёртки страшно мешаются

Не оборачивай

Обёртки страшно мешаются

что делают??

мешаются, вроде правильно

Тогда нет моноида. Вот е меня есть идея API построенного вокруг мотоидов, но т.к. Int & whatever не моноиды — вероятно придётся дублировать для моноидов и для сложения

ну вообще лучше "мешают", но "мешаются" тоже есть в употреблении

Они и должны "мешать" - выбираешь конкретный инстанс же

натуральное

Давай, ещё лямду напиши

почитал аргументацию сторонников формальной верификации

Они и должны "мешать" - выбираешь конкретный инстанс же

Так я не хочу выбирать инстаснс

они еще более свихнутые чем хаскелисты

Так я не хочу выбирать инстаснс

Два возможных. Нужно выбрать

ну вообще лучше "мешают", но "мешаются" тоже есть в употреблении

сообщение "edited", посмотри внимательно. Там до этого абракадабра была

сообщение "edited", посмотри внимательно. Там до этого абракадабра была

Я гласные переставил

Я тоже недоволен тем, что для чисел инстанса моноида (+,0) нету.

Два возможных. Нужно выбрать

Один более полезный и намного более часто употребляемый, потому его следовало бы поставить по умолчанию, а для умножение обрнёте, не переломитесь

делать более используемый инстанс для типа и менее используемый для обертки - нормальная практика см. инстансы для списка и ZipList например

и умножение явно менее полезный инстанс чем сложение

зачем вам моноид по сложению, если можно просто сделать sum?

для интов

А дефолтный элемент без операции определить вполне можно - соотв. зануленной памяти.

Вообще Sum использую столь же редко, что и Product, если честно

Чтобы работать с моноидами полиморфно и иметь сложение как частный случай

для интов

sum для контейнера с числами будет работать только а моноид может и с более сложной структурой, включающей в себя числа

Ну вообще требуемы тайпкласс больше напоминает Bounded a, непонятно откуда такая экзальтация насчет операций и моноидов

Ну вообще требуемы тайпкласс больше напоминает Bounded a, непонятно откуда такая экзальтация насчет операций и моноидов

Из-за нуля

вообще ни разу в жизни Product не использовал, для чего он вообще - факториалы писать?

Ноль определён через операцию вообще-то

sum для контейнера с числами будет работать только а моноид может и с более сложной структурой, включающей в себя числа

и что так часто прям приходится засовывать список чисел в функцию с констрейнтом моноида?

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

(хотя, если бы люди больше моноидные конфиги использовали, самым ходовым инстансом моноида для интов был бы First)

Last скорее

Лучше бы First и Last были полугруппами :)

Но исторически сложились моноеды

Полугруппы тоже есть

@astynax у вас там что, ghc 7.10?

У First внутре Maybe, а если бы была только полугруппа без моноида, то не было бы

http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Semigroup.html#t:Last

newtype Last a = Last { getLast :: a }

Хмм. И правда, отстал от жизни :)

Так норм

Так. Но в Data.Monoid то остался First с Maybe унутре!

Так он тоже нужен

Нет, не нужен

Мне нужен

Иногда

Option + First из Semigroup

использовать Nothing вместо дефолтного элемента уже советовали?

Это ты к кому вопрос обратил?

ещё есть AsEmpty в линзах

Это ты к кому вопрос обратил?

сообществу

Псто тут несколько одновременных тредов

к отвечающим на вопрос о классе для нейтрального элемента без моноида

Так в том то и соль, что элемент - не нейтральный, если нет операции (нейтральность по отношению к чему-то бывает же)

потому и Nothing

Так внутри нафинга нет ничего

Nothing означает "ничего", а элемент - вполне себе "чего"

Впрочем логика трактовки элементов может обрабатывать Nothing

Но можно сделать функцию из Maybe в нужный тип

которая добавляет семантику как раз

Ага. И в этой функции можно учесть уже и несколько допустимых умолчаний и прочее

именно

использовать Nothing вместо дефолтного элемента уже советовали?

Nothing это же один из конструкторов Maybe