AP
Вот полугруппой может быть пустое множество :) Операция есть, а операндов нет :)
Size: a a a
2018 March 16
g
Да, верно.
AK
т.е. множество, где только нейтральный элемент и есть?
нейтральный элемент это единица, а я про ноль
к
ноль - тоже нейтральный элемент для суммы
к
как единица - нейтральный элемент для произведения
к
то есть единица моноида по сумме = 0)
AK
Хотя для пустого списка
[] считается единичным элементом, и тогда вопрос, [] это единица как элемент или ноль, потому что список нулевой длины?к
не нужно приводить все к числам
AK
ну это же абстракция которая в том числе и числа описывает
к
Намного лучше обозначать нейтральный элемент за e
Для суммы чисел e = 0
Для произведения e = 1
Для конктенации массива e = []
Это намного лучше и проще чем приводить к числам, не возникнет странных вопросов типа "является ли пустой список нулем или единицей"
Для суммы чисел e = 0
Для произведения e = 1
Для конктенации массива e = []
Это намного лучше и проще чем приводить к числам, не возникнет странных вопросов типа "является ли пустой список нулем или единицей"
AC
у нас есть абстракция нейтрального элемента и группы на которой он таки является
AC
а выражать одну имплентацию через другую над тем же полем не комильфо
AK
Намного лучше обозначать нейтральный элемент за e
Для суммы чисел e = 0
Для произведения e = 1
Для конктенации массива e = []
Это намного лучше и проще чем приводить к числам, не возникнет странных вопросов типа "является ли пустой список нулем или единицей"
Для суммы чисел e = 0
Для произведения e = 1
Для конктенации массива e = []
Это намного лучше и проще чем приводить к числам, не возникнет странных вопросов типа "является ли пустой список нулем или единицей"
кажется это хорошее объяснение
AP
Нейтральынй элемент нейтрален относительно конкретной операции. А не просто сам по себе. Более того, сам по себе он может быть вполне значим в конкретном множестве, представляющем моноид.
AP
К числам и правда лучше не приводить - плохая аналогия получается
AK
Нейтральынй элемент нейтрален относительно конкретной операции. А не просто сам по себе. Более того, сам по себе он может быть вполне значим в конкретном множестве, представляющем моноид.
Но тайпкласс моноида получается тогда определяет `mempty` и `mappend` для инстанса операции, а не класса? Странно звучит, но надеюсь понятно в чём вопрос
к
это все бы решалось если бы чекались законы
AP
Класс обещает, что все типы-представители этого класса имеют реализации для
mempty и mappendк
наверное моноид можно определить не как тройку, а как шестерку
к
+ три пруфа то есть