подходит под определение моноида? Моноид определяется как множество с ассоциотивной операцией и единичным элементом. Меня здесь беспокоит слово "множество", потому что
>set is a collection of distinct objects
А в строке элементы запросто могут повторяться. Я что-то не так понимаю?
Просто в примерах часто в качестве моноида приводится строка.
Строка как тип, а не как единичный объект
Обсуждают сегодня