Хотя не, магма тоже опрецию имеет, просто не ассоциативную

по-моему @qnikst что-то такое спрашивал давно

и ему нашли тогда

не помню ответа

но наверное был

потому что mappend не удовлетворяет законам

Какому именно?

Непонятно, как может быть нейтральный элемент, если нет операции?

default

Она может быть неассоциативна

Тогда точно Магма

У магмы операция есть, но ассоциативность не гарантируется

так у магмы и нуля нет

а тут вроде только нуль нужен

Магмоид

Нуль относительно чего, если операции нет?

тут нужен специальный класс под задачу и домен, который отдает НУЖНЫЙ дефолтный элемент под задачу

Default :)

потому в общем случае эта задача нерешаема, не понятно, дефолтный для чего элемент типа вот что дефотный для Int

Что значит дефолтный

Дефолтный /= identity element

так я и говорю, про дефолтный элемент сказал, а что ещё в классе есть?

ладно. когда моноид я обычно считаю, что это mempty

кроме этого элемента?

но бывет и не моноид

Вот есть набор параметров для какого-нибудь численного алгоритма. И есть значения по умолчанию

для инта это обычно ноль

Или единица!

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

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

когда?

или 42

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

MAX_INT

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

что делают??

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

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

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

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

натуральное

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

для интов

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

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

ERROR: S client not available

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

для интов

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 в линзах

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

сообществу

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

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