s
Там практически нечего понимать.
Size: a a a
2021 March 01
OA
Там практически нечего понимать.
ну вот я и не понял
OA
это было бы окей, если б я был один такой лох педальный, а все остальные все уже давно поняли. Но ведь это не так. Народ понимает дженерики, лямбды, ооп, move semantics, ссылки, мутабельность. Т.е. не совсем тупой народ вроде как. А моноиды не понимает.
T1
это было бы окей, если б я был один такой лох педальный, а все остальные все уже давно поняли. Но ведь это не так. Народ понимает дженерики, лямбды, ооп, move semantics, ссылки, мутабельность. Т.е. не совсем тупой народ вроде как. А моноиды не понимает.
моноиды намного проще чем все что ты перечислил
T1
значит они недостаточно времени потратили просто
OA
моноиды намного проще чем все что ты перечислил
что лишний раз доказывает что проблема не в концепции, а в том, как ее подают
p
зачем они тогда вообще пошли в программирование?
Как бы а кому формошлепить если все будут моноиды учить?
OA
значит они недостаточно времени потратили просто
юзер сам дурак что вирус установил
T1
1 раз прочитаешь определение в википедии — естественно ты ничего не поймёшь
SP
проблема в контексте. моноиды не понимают потому что они для мира кодерка который пытается их понять не имеют смысла
T1
юзер сам дурак что вирус установил
ну я не говорю что юзер дурак. я говорю что неправильно обьясняли или хуево учили
p
Там практически нечего понимать.
Тебе да
OA
ну я не говорю что юзер дурак. я говорю что неправильно обьясняли или хуево учили
т.е. о чем я выше и написал
SP
моноиды работают в мире в котором код описывает преобразования данных
C
Честно, я пока не сильно шарю в этих терминах. Но в будущем конечно же и изученим фп займусь.
s
trait Monoid {
fn mul(self, other: Self) -> Self;
fn unit() -> Self;
}
Со следующими условиями (x, y, z: T, где T: Monoid):
mul(mul(x, y), z) == mul(x, mul(y, z))
mul(x, unit()) = x
mul(unit(), y) = yOA
я, кажется, начал понимать в чем проблема. Все статьи про моноиды начинают с того, что "нужно чтоб все было расово-чисто, и как нам теперь сделать что-то практически-полезное", а не "вот у нас есть такая вот реализация на говно-джаве, но мы можем ее сделать более эффективной/полезной/безопасной/универсальной с помощью вот такой-то концепции"
OA
trait Monoid {
fn mul(self, other: Self) -> Self;
fn unit() -> Self;
}
Со следующими условиями (x, y, z: T, где T: Monoid):
mul(mul(x, y), z) == mul(x, mul(y, z))
mul(x, unit()) = x
mul(unit(), y) = yпервый же вопрос: "захуя это надо?"
SP
trait Monoid {
fn mul(self, other: Self) -> Self;
fn unit() -> Self;
}
Со следующими условиями (x, y, z: T, где T: Monoid):
mul(mul(x, y), z) == mul(x, mul(y, z))
mul(x, unit()) = x
mul(unit(), y) = yэто не имеет смысла для рядового человека
s
первый же вопрос: "захуя это надо?"
Это паттерн, которому соответствует очень много чего.