МБ
Suren Kirakosyan
Size: a a a
2021 January 08
SK
Кошмар какой. Ты точно уверен, что тебе нужна логика, связанная с порядком элементов списка? Это сломается на любом изменении.
Вот я о том же. Мне тоже это не нравится.
SK
Думаю, подойдёт.
SK
Я думаю, что для логина такой тупой матчинг подойдёт, потому что я не собираюсь добавлять или удалять существующие элементы/поля(username, email, password), но вот для других задач такой подход точно всё сломает.
SK
Написать просто матчер одиночной ошибки в сообщение или атом сообщения, мап, сорт, может быть фолд.
Не понял.
ŹR
везде этот метод называется reduce
Есть скала, где есть и fold и reduce. Разница очень четенькая.
AI
Есть скала, где есть и fold и reduce. Разница очень четенькая.
типа reduce только для эээ абелевых групповых операций?
AI
кстати, требование коммутативности меня удивляет, кажется, что выигрыш в производительности / простоте по сравнению с некоммутативной групповой операцией невелик
AI
но я мало знаю про скалу
БЁ
типа reduce только для эээ абелевых групповых операций?
fold(Left/right) работает на моноидах, reduce на полугруппах
AI
Борщевик Ёбаный
fold(Left/right) работает на моноидах, reduce на полугруппах
reduce просит абелевость
БЁ
reduce просит абелевость
не просит
AI
> It is necessary to make sure that operations are commutative and associative.
БЁ
коммутативность— это сильное свойство
БЁ
> It is necessary to make sure that operations are commutative and associative.
откуда цитата?
ŹR
Борщевик Ёбаный
коммутативность— это сильное свойство
оно сработает и без этого. наверное подразумевается что может быть unexpected behaviour
AI
Борщевик Ёбаный
откуда цитата?
а, миль пардон, это reduce() для коллекций в принципе, не для списков
ŹR
Я прям представил как скала сперва foldl делает, потом foldr , потом сравнивает результат и если не совпал, то такой “ай-ай-ай сука, не комутативно!!”
БЁ
а, миль пардон, это reduce() для коллекций в принципе, не для списков
для полугрупп)
БЁ
список это полугруппа относительно операции ++