IP
А моноиды - это про "а поговорить"
Моноиды - это же абстрактная алгебра
Size: a a a
2021 February 15
IP
Нат. числа вон моноид
IP
Моноид - это ассоциативный +, есть нейтральный элемент.
АХ
Моноиды как раз отовсюду лезут.
АХ
Списки, строки, аккумуляторы итп
AN
Нат. числа вон моноид
Угу, и что это дает кому?
АХ
Как всегда - универсальный интерфейс
AN
Мешает ли теория делать людям некоммутативный +?
AN
Мешает ли она делать операции, которые фейлятся в рантайме при неправильном типе (в старте недавно был пример из мультиКа, который делает как раз это).
IP
Угу, и что это дает кому?
Ну в KMath можно добавить. Не уверен, какие именно свойства могут пригодиться
IP
Но вы, например, пробовали сделать абстрактную статистику
AN
Ну в KMath можно добавить. Не уверен, какие именно свойства могут пригодиться
Вот именно поэтому и не добавляем. Я из партии прагматиков и рационалистов
AN
Но вы, например, пробовали сделать абстрактную статистику
Сделал и вроде даже получилось
IP
Сделал и вроде даже получилось
Ну в общем, сам принцип вы, естественно, понимаете. Насчет того, чего такого уникального есть у моноида - без понятия
AL
в тему 🙂
AL
AN
индид. Тут еще надо понимать, что тяга к придумыванию терминов - она идет от практики, но не от той. Всем хочется внести вклад в историю.
I
А скалка то хорошеет с каждым днем
I
Заменить
val на let (и == на =) и получится валидный F# 😌Kd
жми + если увидел разницу