AV
append :: SSum a -> a -> SSum a
Size: a a a
2020 May 15
AV
getSSum :: SSum a -> a
LO
ну если мы сделаем такой моноед, у нас же будут соблюдаться (a <> b) <> c == a <> (b <> c)
другого у моноеда и нет
другого у моноеда и нет
AV
А что там внутри и считается ли сумма или вычитаестя - его дела
АГ
моноед может всё что угодно
А стереоед что может?
LO
А стереоед что может?
жрёт в два горла
АГ
Так я и знал!
Oℕ
ну если есть Monoid a и мы хотим операцию
add :: a -> b -> b
так чтобы выполнялось
add x (add y z) = add (x <> y) z
это называется
модуль для моноида
add :: a -> b -> b
так чтобы выполнялось
add x (add y z) = add (x <> y) z
это называется
модуль для моноида
LO
давайте усложним задачу. сделаем сумму не по Н элементов, а по элементам с таймштампом. типа сумма за минуту.
Oℕ
> давайте усложним задачу
иногда я забываю, что окружён хаскеллистами, спасибо
иногда я забываю, что окружён хаскеллистами, спасибо
LO
ну в общем то-же самое, только выкидываем по другому условию
AV
Возьми прометей уже
LO
мне не нравится прометей потому что либы говнище
АГ
Когда мне было нужно скользящее среднее, я вычитал элемент при выпадении из окна
Oℕ
давайте усложним задачу. сделаем сумму не по Н элементов, а по элементам с таймштампом. типа сумма за минуту.
these are the same picture
AV
Я бы тоже вычитал элемент
LO
these are the same picture
да
AV
Когда я последний раз делал moving average это было FPGA
LO
я только что значительно ускорил батч джобу добавив +RTS -N
LO
а вы говорите