AF
И как же из кольца автоматически получить моноид? Точнее, который из них?
Size: a a a
2020 August 02
DB
И как же из кольца автоматически получить моноид? Точнее, который из них?
Есть ассоциативное «сложение», есть нейтральный элемент
JS
И как же из кольца автоматически получить моноид? Точнее, который из них?
именоваными инстансами можно было бы
DB
А, или это про хаскель вопрос)
JS
Есть ассоциативное «сложение», есть нейтральный элемент
есть и сложение, и умножение. как между ними выбирать?
DB
есть и сложение, и умножение. как между ними выбирать?
В кольце единица необязательна
DB
Это доп. условие
DB
Так что кажется, что очевиден выбор
YS
ты когда успел таким умным стать?(
DB
Линал учил чуток(
JS
Так что кажется, что очевиден выбор
а с полугруппами? из одного кольца можно построить две полугруппы?
DB
Получается, что можно. Теоретически. Как это на хаскеле выразить сходу не скажу)
AF
а через newtype можно один тип два раза заинстансить?
DB
Да
AF
Сделать, допустим, AndBool и OrBool
DB
Так и сделано
DB
Только названия другие
DB
Any и All
AA
@ulysses4ever @qnikst @swamp_agr с этой хештаблицей хуже всего то, что я не понимаю, почему она для бокснутых ключей и значений быстрее гугловской. т.е. это может быть баг какой-то в моей таблице или какие-то инлайнострадания, которые в очередном гхц просто приведут к тому, что разницы не будет, а анбокснутая таблица еще более нишевая и ненужная хаскелистам штука.
AV
Гугловская это какая?